Processing math: 100%

2.Regular Grammars§

Here is another way to describe a language: Use a grammar.

Grammar G=(V,T,S,P)

V: Variables (nonterminals), represented by A,B,...,Z
T: Terminals, reprsented by a,b,...,z,0,1,...,9
S: Start symbol
P: Productions (rules)}

V, T, and P are finite sets.

Right-linear grammar

All productions are of the form:
AxB
Ax
where A,BV,xT

Note: x is a string of length 0 or more.

Left-linear grammar

all productions of form
ABx
Ax
where A,BV,xT

Definition:

Any right-linear or left-linear grammar is defined to be a regular grammar.

(There is a more restrictive definition in which the length of x is 1.)

Example 1

G=({S},{a,b},S,P),
P=
SabS
Sλ
SSab

<< What language is this? >>

Example 1

G=({S},{a,b},S,P),
P=
SabS
Sλ
SSab

Cannot mix left/right rules! This is not a regular grammar.

Example 2

G=({S},{a,b},S,P),
P=
SaBbSλ
BaSbB

<< What language is this? >>

Example 2

G=({S},{a,b},S,P),
P=
SaBbSλ
BaSbB

This is a right linear grammar representing the language L={strings with an even number of a's},Σ={a,b}

Our Next Step

Done before:
Definition: DFA represents regular language
Theorem: RE DFA

Next:
Theorem: DFA regular grammar

Theorem: L is a regular language iff regular grammar G such that L=L(G).

Proof: NFA from Regular Grammar

Theorem: L is a regular language iff regular grammar G such that L=L(G).

(Doing here for RR grammar, see book for proof sketch for LR grammar.)
() Given a regular grammar G, Construct NFA M such that L(G)=L(M)
Make a state for each non-terminal.
Make a transition on each terminal in that production rule.
Make it final if there is a production without non-terminals.
For rules with multiple terminals, need intermediate states.

<< What is the machine for Example 2? >>

RRG to NFA Example

SaB|bS|λ
BaS|bB

This is a right linear grammar representing the language
L={ strings with an even number of a’s },Σ={a,b}
strgtonfa

What about a rule like SabB? Or Sab?

Proof: RR Grammar from DFA

Theorem: L is a regular language iff regular grammar G such that L=L(G).

() Given a DFA M, construct regular grammar G such that L(G)=L(M)

The process is pretty much the same as when we made an NFA from RRG:
Each DFA state gets a non-terminal.
Each transition gets a production rule.

Example (1)

Construct the Regular Grammar for the NFA

stnfatorg

Example (2)

Construct the Regular Grammar for the NFA

stnfatorg
G=({S,B},{a,b},S,P),
P=
Q0aQ1
Q1aQ0|bQ1|λ

Something to Think About

L={anbnn>0}

Is language L regular? Can you draw a DFA, regular expression, or Regular grammar for this language?