ING.

MARCO DE LA CRUZ ROCCA

LABORATORIO AFD Y AFND

TEORIA DE LA COMPUTACION SISTEMAS Y COMPUTACION UNDAC 2011

OBJETIVO Aplicar las tecnicas para crear Automatas deterministicos y no deterministicos e implementar la conversion de los mismos. INDICACIONES Para cada caso realizar la solucion escrita no computarizado. La entrega del trabajo individual se realizara el dia miercoles 16 de noviembre en el horario de clases. PLANTEAMIENTOS

1. Construya el Autmata finito determinstico que acepta el lenguaje: L1 = {ancbm/ n > 0 y m 0 } L2 = {00x1/ x {0, 1}* } L3 = {xc3m/ x {a, b}* y la cantidad de bs es par y m 0} 2. Construya el Autmata finito No determinstico que acepta el lenguaje: L4 = { x / x {0, 1}* y x contiene la subcadena 00 x contiene la subcadena 11} L7 = { a2nb2k+1 / n 1 y k 0} {ax / x {a, b}* y x contiene la subcadena ba}

3. Dadas las expresiones regulares construya el AFD correspondiente:

b(abab) b U b+(ab+) (aaa)ba a(a U b)

4. Para los automatas de la pregunta 2 realice la transformacion a AFD. 5. En cierta oficina, una mquina expendedora distribuye dos tipos de bebidas en lata: gaseosa y agua mineral. El precio por unidad es $1. La mquina acepta monedas de $0.25, $0.50 y $1 la maquina no da vuelto por lo que se deben ingresar el monto exacto. Para comprar una bebida se deben introducir las monedas, y luego apretar el botn G para solicitar una gaseosa, o bien el botn M para solicitar Agua Mineral. Construya su correspondiente AFD.

EL DOCENTE