UATF Carrera Ingeniera de Sistemas MATERIA: AUTOMATAS SIS762 PRACTICA N 3 Fecha de Entrega: 10 febrero de 2014 (impostergable) Docente: Ing.

g. Edwin Rolando Flores Vargas Modo de Entrega: Disco y papel Implementacin: JFLAP (Programa publicado en el grupo de facebook: Autmatas Verano) EJEMPLO DE IMPLEMENTACION DE LA PRCTICA

I.- AUTOMATAS FINITOS DETERMINISTICOS 1) Disee un Autmata Finito Determinstico para aceptar el lenguaje de cadenas de =(0,1) con cantidades de 1 pares. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): 00101101, 0011001, 000001, 0101010101 Rechazado (Reject): 000, 0010, , 110010 2) Disee un Autmata Finito Determinstico para aceptar el lenguaje de cadenas de =(0,1) que contienen la subcadena 01. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): 0010101, 0011001, 000001, 0100000 Rechazado (Reject): 000, 1100, , 11000, 1111 3) Disee un Autmata Finito Determinstico para aceptar el lenguaje de cadenas de =(0,1) con un numero par de 0`s y un numero par de 1`s. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): 00101011, 00110011, 0011, 01000100 Rechazado (Reject): 0001, 110011001, 11000, 111011 4) Disee un Autmata Finito Determinstico para aceptar el lenguaje de cadenas de =(a,b,c) formadas por una a, una sucesin de b y una c. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): abbbbc, abbbc, abc, abbbbbbbbc Rechazado (Reject): aabbc, cbbbbba, abbbbbbbbcc, ac II.- AUTOMATAS FINITOS NO DETERMINISTICOS 5) Disee un Autmata Finito No Determinstico que acepte todas las cadenas de =(0,1) que terminan en 01. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): 00101101, 0011001, 000001, 0101010101 Rechazado (Reject): 000, 0010, , 110010 6) Dado el =(+, - , . ,0, 1, 2, 3, 4, 5, 6, 7, 8, 9) disee un Autmata Finito No Determinstico que acepte nmeros decimales que contienen:

UATF Carrera Ingeniera de Sistemas MATERIA: AUTOMATAS SIS762 a) Un signo + o (opcional) b) Una cadena de dgitos c) Un punto decimal d) Otra cadena de dgitos Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): +18.81, +11.9999, +7.5, 15.99 Rechazado (Reject): *00.80, 100.100.34, +110010

7) Disee un Autmata Finito No Determinstico para aceptar el lenguaje de cadenas de =(a,b,c) formadas por una a, una sucesin de b y una c. Adems Escriba formalmente el autmata diseado. Comprobar el funcionamiento del autmata, ingresando las siguientes palabras: Aceptado (Accept): abbbbc, abbbc, abc, abbbbbbbbc Rechazado (Reject): aabbc, cbbbbba, abbbbbbbbcc, ac