TEORIA DE LA COMPUTACIÓN

TAREA 5

1.- Probar que el conjunto {anbmck | n,m,k ³ 0, n+m=k} es no regular.

2.- Obtenga un autómata finito determinista mínimo que sea equivalente a:

a b

 

1 F 2 6

2 F 1 7

3 5 2

4 2 3

5 3 1

6 7 3

7 6 5