APORTE TRABAJO COLABORATIVO 2

Puntos 1 al 5 de la Gua del trabajo

1. Enuncie el Autmata en notacin matemtica.

Dado el siguiente Autmata M Finito M=( K, , q 0 , ,F) , donde
K= { q 0, q 1 , q 2 , q 3 , q 4 , q 5 , q 6 }
= {0,1}, q0 es el estado inicial F= q 0 .

2. Identifique los componentes del autmata (que tipo de tupla es)

La funcin de transicin est dada por:
= { q 0, q 1 , q 2 , q 3 , q 4 , q 5 , q 6 } x {0,1} { q 0, q 1 , q 2 , q 3 , q 4 , q 5 , q
6 } q 0 q 0
( q 0 ,0 )= q 1
( q 0 ,1 )= q 2
( q 1 ,0 )= q 0
( q 1 ,1 )= q 3
( q 2 ,0 )= q 3
( q 2 ,1 )= q 0
( q 3 ,0 )= q 5
( q 3 ,1 )= q 4
( q 4 ,0 )= q 0
( q 4 ,1 )= q 6
( q 5 ,0 )= q 6
( q 5 ,1 )= q 0
( q 6 ,0 )= q 5
( q 6 ,1 )= q 4
3. Identifique la tabla de transicin correspondiente

TABLA DE TRANSICION
0 1
# q 0 q 1 q 2
q 1 q 0 q 3
q 2 q 3 q 0
q 3 q 5 q 4
q 4 q 0 q 6
q 5 q 6 q 0
q 6 q 5 q 4

4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas
vlidas que terminen en el estado halt
El lenguaje que genera L={ {a,b}* | = Todas las cadenas que empiecen por 0
o 1, seguidas de 0 o 1, que terminen en 0 o 1, compuestas por un nmero par de
caracteres}
Cadenas Validas:
00000000
11111111
010101010101
000000111111
101010101010
000010101010

5. Encuentre la expresin regular vlida.
La expresin regular es: 0|1*
Obtenida mediante la aplicacin de la ley de Arden y ls ecuaciones que se
deducen de las transiciones as:
Comenzando en el estado inicial y reemplazando en el estado final que para este
caso es el mismo.
Q0= 0q1 + 1q2 * Como es el estado inicial se agrega a la expresin
Q0= 0q1 + 1q2 * Cuando multiplica una expresin se reemplaza as
Q0= 0q1 + 1* Esta expresin tiene la forma de la ley de Arden X= rX + s
Aplicando la equivalencia de Arden tenemos

Q0= 0 + 1* lo que es igual a:
Q0= 0|1*