TEORIA DE LA COMPUTACION
TAREA 3
1.- Asuma que
d es la función de transición de un automáta finito determinista. Pruebe que para cualquier cadena de entrada x y cualquier cadena zd
(q,xz) = d (d (q,x),z)Use inducción sobre la longitud de z.
2.- Construya un automáta finito que acepte números sin signo, esto es, una cadena no vacía de dígitos opcionalmente seguida por un punto decimal y otra cadena no vacía de dígitos. Se requiere que un entero no pueda finalizar con un punto decimal, y un número entre 0 y 1 debe tener exactamente un 0 antes del punto decimal.
3.- Construya un automáta finito determinista para el siguiente lenguaje:
L={x
Î {a,b}* | x contiene una subcadena de 3 a’s consecutivas}