Scribd
Upload
32 views

Context-Free Grammars: Variables

Context-free grammars (CFGs) provide a recursive notation for describing languages. A CFG consists of variables, terminals, productions, and a start symbol. Productions specify rewrite rules that expand variables into strings of variables and terminals. Derivations apply productions to generate strings in the language. These strings can be represented equivalently as leftmost/rightmost derivations or parse trees, where variables are replaced from left to right or right to left.

Uploaded by

atul
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
32 views

Context-Free Grammars: Variables

Context-free grammars (CFGs) provide a recursive notation for describing languages. A CFG consists of variables, terminals, productions, and a start symbol. Productions specify rewrite rules that expand variables into strings of variables and terminals. Derivations apply productions to generate strings in the language. These strings can be represented equivalently as leftmost/rightmost derivations or parse trees, where variables are replaced from left to right or right to left.

Uploaded by

atul
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

Context-Free Grammars

Notation for recursive description of languages.


Example:
Roll < ROLL > Class Studs < =ROLL >
!

Class < CLASS > Text < =CLASS >


!

Text Char Text


!

Text Char
!

Char a (other chars)


! 

Studs Stud Studs


!

Studs !

Stud < STUD > Text < =STUD >


!

 Generates \documents" such as:


<ROLL><CLASS>cs154</CLASS>
<STUD>Sally</STUD>
<STUD>Fred</STUD>


</ROLL>

 Variables (e.g., Studs) represent sets of strings


(i.e., languages).
✦ In sensible grammars, these strings share
some common characteristic or roll.
 Terminals (e.g., a or < ROLL >) = symbols
of which strings are composed.
✦ \Tags" like < ROLL > could be
considered either a single terminal or the
concatenation of 6 terminals.
 Productions = rules of the form Head !

Body.
✦ Head is a variable.
✦ Body is a string of zero or more variables
and/or terminals.
 Start Symbol = variable that represents \the
language."
 Notation: G = (V; ; P; S ) = (variables,
terminals, productions, start symbol).
Example
A simpler example generates strings of 0's and 1's
such that each block of 0's is followed by at least
as many 1's.
S AS 
! j

A 0A1 A1 01
! j j

 Note vertical bar separates di erent bodies for


the same head.
1
Derivations
 A whenever there is a production
)

A .!

✦ Subscript with name of grammar, e.g.,


G
) , if necessary.
✦ Example: 011AS 0110A1S .
)

 * means string can become in zero


)

or more derivation steps.


*
✦ Examples: 011AS 011AS (zero steps);
)

011AS 0110A1S (one step); 011AS *


*
) )

0110011 (three steps).


Language of a CFG
L(G) = set of terminal strings w such that
S G* w, where S is the start symbol.
)

Aside: Notation
 a; b; : : : are terminals; : : :; y; z are strings of
terminals.
 Greek letters are strings of variables and/or
terminals, often called sentential forms.
 A; B; : : : are variables.
 : : :; Y; Z are variables or terminals.
 S is typically the start symbol.
Leftmost/Rightmost Derivations
 We have a choice of variable to replace at each
step.
✦ Derivations may appear di erent only
because we make the same replacements
in a di erent order.
✦ To avoid such di erences, we may restrict
the choice.
 A leftmost derivation always replaces the
leftmost variable in a sentential form.
✦ Yields left-sentential forms.
 Rightmost de ned analogously.
 ) , , etc., used to indicate derivations are
lm rm
)

leftmost or rightmost.

2
Example
 S lm AS lm A1S lm 011S lm 011AS lm
) ) ) ) )

0110A1S lm 0110011S lm 0110011


) )

 S rm AS rm AAS rm AA rm A0A1 rm
) ) ) ) )

A0011 rm A10011 rm 0110011


) )

Derivation Trees
 Nodes = variables, terminals, or .
✦ Variables at interior nodes; terminals and
 at leaves.
✦ A leaf can be  only if it is the only child
of its parent.
 A node and its children from the left must
form the head and body of a production.
Example
S

A S

A 1 A S

0 1 0 A 1 

0 1

Equivalence of Parse Trees, Leftmost, and


Rightmost Derivations
The following about a grammar G = (V; ; P; S )
and a terminal string w are all equivalent:
*
1. S ) w (i.e., w is in L(G)).
*
2. S lm)w
*
3. S rm)w
4. There is a parse tree for G with root S and
yield (labels of leaves, from the left) w.
 Obviously (2) and (3) each imply (1).
3
Parse Tree Implies LM/RM Derivations
 Generalize all statements to talk about an
arbitrary variable A in place of S .
✦ Except now (1) no longer means w is in
L(G).
 Induction on the height of the parse tree.
Basis : Height 1: Tree is root A and leaves w =
a1 ; a2; : : :; a .
k

 A w must be a production, so A lm w and


! )

A rm w.
)

Induction : Height > 1. Tree is root A with


children X1 ; X2 ; : : :; X .
k

 Those X 's that are variables are roots of


i
shorter trees.
✦ Thus, the IH says that they have LM
derivations of their yields.
 Construct a LM derivation of w from A by
starting with A lm X1 X2 X , then
)  k

using LM derivations from each X that is a


i
variable, in order from the left.
 RM derivation analogous.
Derivations to Parse Trees
Induction on length of the derivation.
Basis : One step. There is an obvious parse tree.
Induction : More than one step.
 Let the rst step be A X1 X2 X .
)  k

 Subsequent changes can be reordered so that


all changes to X1 and the sentential forms
that replace it are done rst, then those
for X2 , and so on (i.e., we can rewrite the
deriviation as a LM derivation).
 The derivations from those X 's that are
i
variables are all shorter than the given
deriviation, so the IH applies.
 By the IH, there are parse trees for each of
these derivations.
 Make the roots of these trees be children of a
new root labeled A.
Example
Consider derivation S AS AAS
) ) ) AA )

A1A A10A1 0110A1 0110011


) ) )

4
 Subderivation from A is: A A1 011
) )

 Subderivation from S is: S AS A


) ) )

0A1 0011
)

 Each has a parse tree; put them together with


new root S .

You might also like