lenguajesformalesyautomatas.files.wordpress.com€¦ · web viewla siguiente gramática genera un...
TRANSCRIPT
![Page 1: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/1.jpg)
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}
![Page 2: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/2.jpg)
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
![Page 3: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/3.jpg)
7. Escriba los caminos de lectura
8. Verificar las cadenas que acepta
![Page 4: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/4.jpg)
9. Diseñe un APD que acepte L={0^n 1^n : n>0} donde A es el siguiente
![Page 5: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/5.jpg)
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
![Page 6: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/6.jpg)
12. Dada la gramática siguiente, encuentre la gramática equivalente en FNC
![Page 7: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/7.jpg)
13. Construye una máquina de Mealy que, para una cadena binaria de entrada produzca como salida
![Page 8: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/8.jpg)
14. La siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares por la izquierda).
![Page 9: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/9.jpg)
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.
![Page 10: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/10.jpg)
16. Dada la Gramática
![Page 11: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/11.jpg)
17. Sea
![Page 12: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/12.jpg)
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.
![Page 13: lenguajesformalesyautomatas.files.wordpress.com€¦ · Web viewLa siguiente gramática genera un lenguaje regular (de hecho, este tipo de gramáticas se denominan gramáticas regulares](https://reader034.vdocuments.pub/reader034/viewer/2022050718/5e17ec4b25b4ff1b41182d7d/html5/thumbnails/13.jpg)
21. Diseñar una Máquina de Turing que obtenga el sucesor de un número binario.