Download - Revisión dos
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
[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