Revisión DOS

LLC, LDC, GLC, GDC, AP, APD,APDo, ALF, lemmas de bombeo

Ivan Meza

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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}

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}∗

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}∗

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

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

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

Lenguajes, gramáticas yautómatas

Link googlebooksLink DGB UNAM

Teoría de autómatas y lenguajesformales

Link googlebooksLink DGB UNAM

Introduccion a la Teoria deAutomatas, Lenguajes y

Computacion

Link googlebooksLink DGB UNAM

Teoria de automatas y lenguajesformales

Link googlebooksLink DGB UNAM

Lenguajes formales y teoría de lacomputación

Link googlebooksLink DGB UNAM

Languages And Machines: AnIntroduction To The Theory Of

Computer Science

Link googlebooksLink DGB UNAM

ivanvladimir@gmail.com 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