next up previous
Next: Derivation Trees Up: CONTEXT-FREE LANGUAGES Previous: CONTEXT-FREE LANGUAGES

Derivation & Languages (Sential Forms)

tex2html_wrap_inline328
if tex2html_wrap_inline330
tex2html_wrap_inline332 reflexive & transitive closure of tex2html_wrap_inline334

Def. Let tex2html_wrap_inline336 be a CFG. The language generated by G is

tex2html_wrap_inline340

Def. A language L is called context free if there is a CFG G so that L=L(G).

tex2html_wrap_inline348 is not a palindrome}

tex2html_wrap_inline350



Sushil Prasad
Tue Jul 14 11:59:47 EDT 1998