Revisión DOS

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

Ivan Meza

Problema 1

Con $\Sigma=\{a,b\}$, demostrar que el lenguaje formado por palabras con la forma $a^{n+3}b^ma^{m+3}b^n$ no es regular

Dar ejemplos de cadenas que pertenecen y no pertenecen

Diseñar su autómata de pila y gramática

Problema 2

Con $\Sigma=\{a,b\}$, demostrar que el lenguaje formado por palabras con la forma $a^nb^m$ donde $0 \le m \le n \le 2m$ no es regular

Dar ejemplos de cadenas que pertenecen y no pertenecen

Diseñar su autómata de pila y gramática

Problema 3

Con $\Sigma=\{0,1\}$, demostrar que el lenguaje formado por las palabras con la forma $w_1w_2w_1^r$ donde no es regular, donde $w_1$ y $w_2$ pertencen a $\Sigma^*$

Dar ejemplos de cadenas que pertenecen y no pertenecen

Diseñar su autómata de pila y gramática

Problema 4

Con $\Sigma=\{0,1\}$, demostrar que el lenguaje formado por las palabras con la forma $w_1w_2w_2^rw_3$ donde no es regular, donde $w_1$, $w_2$, $w_3$ pertencesn a $\Sigma^*$

Dar ejemplos de cadenas que pertenecen y no pertenecen

Diseñar su autómata de pila y gramática

Problema 5

Con $\Sigma=\{a,b\}$, demostrar que el lenguaje formado por cadenas con el doble de bes que de aes no es regular

Dar ejemplos de cadenas que pertenecen y no pertenecen

Diseñar su autómata de pila y gramática

Problema 6

Investigue qué es la forma Backus-Naur para gramátics libres de contexto. Haga un resúmen de no más de 200 palabras al respcto

Para su lenguaje favorito (c, java, python, etc) encuentre la especificicación BNF e identifique la parte encargada del for

Reporte esta parte y explique su funcionamiento

Problema 7

Diseñar una gramática para expresiones while en tu propio lenguaje de programación

• Solo se pueden hacer sumas, restas y asignaciónes
• Solo se pueden checar si una cantidad es mayor o menor que otro
• Solo existen variables $a$, $b$ y $c$
• No hay números
• Puede haber varios while dentro de otro

Problema 8

Diseñar una gramática para expresiones if en tu propio lenguaje de programación

• Solo se pueden hacer sumas, restas y asignaciónes
• Solo se pueden checar si una cantidad es mayor o menor que otro
• Solo existen variables $a$, $b$ y $c$
• No hay números
• Puede haber varios if dentro de otro
• No hay else

Problema 9

Diseñar una gramática para expresiones do...while en tu propio lenguaje de programación

• Solo se pueden hacer sumas, restas y asignaciónes
• Solo se pueden checar si una cantidad es mayor o menor que otro
• Solo existen variables $a$, $b$ y $c$
• No hay números
• Puede haber varios do...while dentro de otro

Problema 10

Diseñar una gramática para expresiones switch en tu propio lenguaje de programación

• Solo se pueden hacer sumas, restas y asignaciónes
• Solo se pueden checar si una cantidad es mayor o menor que otro
• Solo existen variables $a$, $b$ y $c$
• No hay números
• No puede haber un switch dentro de otro

Problema 11

Crear un autómata de pila doble para el lenguaje $0^i1^{j+3}0^{i+3}1^j$ con $\Sigma=\{0,1\}$

Proponer 5 cadenas que están en el lenguaje y otras 5 cercanas que no estén

Para una de las cadenas anteriores, aceptada, hacer su derivación

Problema 12

Crear un autómata de pila doble para el lenguaje $wmwmw$ con $\Sigma=\{0,1,m\}$ y $w \in \{0,1\}^*$

Proponer 5 cadenas que están en el lenguaje y otras 5 cercanas que no estén

Para una de las cadenas anteriores, aceptada, hacer su derivación

Problema 13

Crear un automata de pila doble para el lenguaje $w_1mw_2mw_3$ con $\Sigma=\{0,1,m\}$, $w_i \in \{0,1\}^*$ y $|w_1| \gt |w_2| \gt |w_3|$

Proponer 5 cadenas que están en el lenguaje y otras 5 cercanas que no estén

Para una de las cadenas anteriores, aceptada, hacer su derivación

Problema 14

Crear un autómata de pila doble para el lenguaje $0^n1^{n+m}0^{2n}1^m$ con $\Sigma=\{0,1\}$

Proponer 5 cadenas que están en el lenguaje y otras 5 cercanas que no estén

Para una de las cadenas anteriores, aceptada, hacer su derivación

Problema 15

Crear un autómata de pila doble para el lenguaje $0^i1^j0^k$ con $\Sigma=\{0,1\}$ y $i\lt j\lt k \lt 3i$

Proponer 5 cadenas que están en el lenguaje y otras 5 cercanas que no estén

Para una de las cadenas anteriores, aceptada, hacer su derivación

Material

• Bibliografía


• Presentación curso