revisión dos
TRANSCRIPT
![Page 1: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/1.jpg)
Revisión DOS
LLC, LDC, GLC, GDC, AP, APD,APDo, ALF, lemmas de bombeo
Ivan Meza
![Page 2: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/2.jpg)
Problema 1Con , demostrar que el lenguaje no
es regularΣ = {a, b, c, d} aibicjdj
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 3: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/3.jpg)
Problema 2Con , demostrar que el lenguaje no
es regularΣ = {a, b, c, d} aibjcjdi
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 4: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/4.jpg)
Problema 3Con , demostrar que el lenguaje no
es regular, donde
Σ = {a, b} w1wr1w2wr
2∈ {a, bwi }∗
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 5: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/5.jpg)
Problema 4Con , demostrar que el lenguaje
no es regular, donde Σ = {a, b, m}
m mw1 w2wr2 wr
1 ∈ {a, bwi }∗
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 6: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/6.jpg)
Problema 5Con , demostrar que el lenguaje con
o no es regularΣ = {a, b} aibj j = 2i
j = 3i
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 7: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/7.jpg)
Problema 6Con , demostrar que el lenguaje con
o no es regularΣ = {a, b} aibj i = 2j
i = 3j
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 8: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/8.jpg)
Problema 7Con , demostrar que el lenguaje con
no es regularΣ = {a, b} aibj j < 3i
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 9: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/9.jpg)
Problema 8Con , demostrar que el lenguaje con
no es regularΣ = {a, b} aibj i < 3j
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 10: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/10.jpg)
Problema 9Con , demostrar que el lenguaje con
no es regularΣ = {a, b} aibj j > 3i
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 11: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/11.jpg)
Problema 10Con , demostrar que el lenguaje con
no es regularΣ = {a, b} aibj i > 3j
Dar ejemplos de cadenas
Diseñar su autómata de pila
![Page 12: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/12.jpg)
Problema 11Diseñar una gramática para expresiones for en tu propio
lenguaje de programación
Solo se pueden hacer sumas, restas y asignaciónesSolo se pueden checar si un número es mayor o menor queotroSolo existen variables , y No hay númerosPuede haber varios while dentro de otro
a b c
![Page 13: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/13.jpg)
Problema 12Diseñar una gramática para expresiones if en tu propio
lenguaje de programación
Solo se pueden hacer sumas, restas y asignaciónesSolo se pueden checar si un número es mayor o menor queotroSolo existen variables , y No hay númerosPuede haber varios if dentro de otroNo hay else
a b c
![Page 14: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/14.jpg)
Problema 13Diseñar una gramática para expresiones for en tu propio
lenguaje de programación
Solo se pueden hacer sumas, restas y asignaciónesSolo se pueden checar si un número es mayor o menor queotroSolo existen variables , y No hay númerosPuede haber varios for dentro de otro
a b c
![Page 15: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/15.jpg)
Problema 14Diseñar una gramática para expresiones do...while en tu
propio lenguaje de programación
Solo se pueden hacer sumas, restas y asignaciónesSolo se pueden checar si un número es mayor o menor queotroSolo existen variables , y No hay númerosPuede haber varios do...while dentro de otro
a b c
![Page 16: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/16.jpg)
Problema 15Diseñar una gramática para expresiones switch en tu propio
lenguaje de programación
Solo se pueden hacer sumas, restas y asignaciónesSolo se pueden checar si un número es mayor o menor queotroSolo existen variables , y No hay númerosNo puede haber un switch dentro de otro
a b c
![Page 17: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/17.jpg)
Problema 16Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con aibjcidj Σ = {a, b, c, d}
![Page 18: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/18.jpg)
Problema 17Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con y wmwmwr Σ = {a, b, m} w ∈ {a, b}∗
![Page 19: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/19.jpg)
Problema 18Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con y wm mwwr Σ = {a, b, m} w ∈ {a, b}∗
![Page 20: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/20.jpg)
Problema 18Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con y aibjck Σ = {a, b, c} i < j < k
![Page 21: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/21.jpg)
Problema 19Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con y aibjck Σ = {a, b, c} i > j > k
![Page 22: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/22.jpg)
Problema 20Crear una gramática dependiente de contexto o autómata de
pila doble o automata lineal con frontera para el lenguaje con e aibjaibjci Σ = {a, b, c} i < j
![Page 23: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/23.jpg)
Lenguajes, gramáticas yautómatas
Link googlebooksLink DGB UNAM
![Page 24: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/24.jpg)
Teoría de autómatas y lenguajesformales
Link googlebooksLink DGB UNAM
![Page 25: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/25.jpg)
Introduccion a la Teoria deAutomatas, Lenguajes y
Computacion
Link googlebooksLink DGB UNAM
![Page 26: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/26.jpg)
Teoria de automatas y lenguajesformales
Link googlebooksLink DGB UNAM
![Page 27: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/27.jpg)
Lenguajes formales y teoría de lacomputación
Link googlebooksLink DGB UNAM
![Page 28: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/28.jpg)
Languages And Machines: AnIntroduction To The Theory Of
Computer Science
Link googlebooksLink DGB UNAM
![Page 29: Revisión dos](https://reader034.vdocuments.co/reader034/viewer/2022042619/5886221a1a28ab8f2c8b53ed/html5/thumbnails/29.jpg)
[email protected] ivanvladimir.github.io ivanvladimir
Revisión dos by is licensed under a .
Creado a partir de la obra en.
Ivan V. Meza Ruiz CreativeCommons Reconocimiento 4.0 Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/revision_dos.html