PLN formalismos lógicos1 Formalismos lógicos Introducción Gramáticas lógicas Gramáticas de rasgos.
lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un...
Transcript of lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un...
1.- Obtener un autómata finito para la gramática regular G siguiente
2. L = {x | x {0, 1}* y x contiene la subcadena 00 ó x contiene la subcadena 11}
3. L = {xc^3m | x {a, b}* y la cantidad de b’s es par y m>=0}
4. Construye el AFD que acepta palabras que no contienen 3 a’s seguidas.
Proponer una gramática regular.
5. Describa el siguiente cuadro
6. Lenguaje aceptado por el AP
7. Escriba los caminos de lectura
8. Verificar las cadenas que acepta
9. Diseñe un APD que acepte L={0^n 1^n : n>0} donde A es el siguiente
10. Considere el diagrama de transición, escriba el Lenguaje aceptado
L= {a^2m+1 b: m>=0}
11. Dada la gramática siguiente, encuentre la Forma Normal de Chomsky
S −→ aAa | bBb | ε
A −→ C | a
B −→ C | b
C −→ CDE | CD | ε
D −→ A | B | ab
E −→ dE
12. Dada la gramática siguiente, encuentre la gramática equivalente en FNC
13. Construye una máquina de Mealy que, para una cadena binaria de entrada produzca como salida
14. La siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares por la izquierda).
15. Encuentra una máquina de Mealy que emita una a si la diferencia entre el número de unos y
el número de ceros leídos hasta el momento es un múltiplo de 3, una b si esta diferencia es 1
(módulo 3) y una c si es 2 (módulo 3). Encuentra la máquina de Moore equivalente con el mínimo número posible de estados.
16. Dada la Gramática
17. Sea
18. Sea
19. Diseñe una Maquina despachadora de refrescos con 6 estados, que acepte monedas de $1, $5 y $10. El precio de los refrescos es de $11, puede dar cambio.
20. Diseñar una Máquina de Turing que sea un contador unario de caracteres del lenguaje con alfabeto Σ = {a,b,c}. Es decir, se deben devolver tantos 1’s como caracteres haya en la palabra de entrada.
21. Diseñar una Máquina de Turing que obtenga el sucesor de un número binario.