Você está na página 1de 1

Assignment No.

2
SPRING 2013 CS402 Theory of Automata Mc130200678 Tahir Mahmood MCS 1st Assignment Assignment Statement

Total Marks: 20 Due Date:

15 May, 2013

Following are the two FAs, FA1 accepts all words with a double a in them, and FA2 accepts all words ending in b. Build FA3 that accepts all words that have double a or that end in b. Show all steps

Solution
Since the FA1 accepts all words with a double a so its RE is (a+b)*(aa)(a+b)* And FA2 accepts all words ending in b so its RE is (a+b)*b As per given conditions the FA3 has to accept all words that have double a or that end in b. So its the union of FA1 and FA2. Simply FA1 or FA2 means FA1+FA2. i.e., FA3 = FA1+FA2 Old States Z1Z2 Z3a Z2, Z1 Z3 Z3 New States after reading b Z1,Z4 Z4 Z3

Você também pode gostar