hw03 - (6) ClassiFy the Following grammars according to...

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

View Full Document Right Arrow Icon
SE 3306 - Mathematical Foundations of SE Homework # 3 Due on 03/09/2009 – 10:30am (1) Let Σ = { a, b, c } . Give a regular expression that will describe 1. L 1 = { x Σ * | (x begins with c) (x contains two consecutive bs } . 2. L 2 = { x Σ * || x | a is odd ∧ | x | b is even } . (2) What are the diferent ways to represent a regular language? (3) Give examples oF sets that demonstrate the Following inequalities: 1. ( R 1 .R 2 ) * n = ( R * 1 .R * 2 ) * 2. ( R 1 .R 2 ) * n = ( R * 1 R * 2 ) * (4) Let Σ = { a, b, c } . Give right-grammars that will generate: 1. L 1 = { x Σ * | x has an even number oF as } 2. L 1 = { x Σ * | x do contain two consecutive bs } (5) Convert the regular expression ( a b ) * a ( a b ) * to a right-regular grammar. You must Follow the procedure presented in class.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (6) ClassiFy the Following grammars according to Chomskys hierarchy. 1. G 1 = ( { A, B, S } , { a, b, c } , S, { S aSBc, S , SB bS, cB Bc } ) 2. G 2 = ( { A, B, S } , { a, b, c } , S, { S aSBc, S , ASB bS, cB Bc } ) 3. G 3 = ( { A, B, S } , { a, b, c } , S, { S aSBc, S , S bS, B Bc } ) 4. G 4 = ( { A, B, S } , { a, b, c } , S, { S aS, S , S bB, B abB } ) (7) What is model theory? (8) What is Godels Completeness Theorem? How is it diferent From the soundness the-orem?...
View Full Document

Ask a homework question - tutors are online