hw6cs - CSE 105: Introduction to the Theory of Comptuation...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSE 105: Introduction to the Theory of Comptuation Fall 2010 Problem Set 6 Instructor: Daniele Micciancio Due on: Fri. Nov 19, 2010 Problem 1 Consider a context free grammar G over the alphabet { , 1 } . Any such a grammar can be described as a string of symbols (very much like computer programs can be stored in text files) over the alphabet = { , 1 ,A, [ , ] ,>, ; } , where grammar variables are represented as elements of an array A [ n ] . For example, the grammar A 1 A 1 1 A 1 A 2 A 2 A 2 A 2 can be represented by the string A[1]>0A[1]1;A[1]>A[10];A[10]>0A[10];A[10]>;. (The index of the array is represented in binary notation, and by convention, the start symbol of the grammar is the left hand side of the first rule in the grammar description. Also, the empty string is considered a valid CFG with no rules.) Prove that the set of all context free grammars as described above is regular by giving a DFA M for it....
View Full Document

Ask a homework question - tutors are online