​​Revisión #2 LFYA 2020-II: ejercicios
​​Para la resolución de la serie recomendamos usar: http://www.jflap.org/

​​Sección uno: Lenguajes Libres de Contexto

​​Pregunta 1

​​Con Σ={a,b} y el lenguaje formado por palabras con la forma aⁿbᵐ con 2n> m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Demostrar que no es regular
  1. ​​Diseñar su autómata de pila
  1. ​​Diseñar una gramática libre de contexto
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Aplicación del teorema de bombeo
  1. ​​Diseño de autómata de pila
  1. ​​Diseño de gramática libre de contexto

​​Pregunta 2

​​Con Σ={a,b} y el lenguaje formado por palabras con la forma aⁿbᵐ con 2n<m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Demostrar que no es regular
  1. ​​Diseñar su autómata de pila
  1. ​​Diseñar una gramática libre de contexto
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Aplicación del teorema de bombeo
  1. ​​Diseño de autómata de pila
  1. ​​Diseño de gramática libre de contexto

​​Pregunta 3

​​Con Σ={a,b} y el lenguaje formado por palabras con la forma aⁿbᵐ con n>2m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Demostrar que no es regular
  1. ​​Diseñar su autómata de pila
  1. ​​Diseñar una gramática libre de contexto
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Aplicación del teorema de bombeo
  1. ​​Diseño de autómata de pila
  1. ​​Diseño de gramática libre de contexto

​​Pregunta 4

​​Con Σ={a,b} y el lenguaje formado por palabras con la forma aⁿbᵐ con n<2m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Demostrar que no es regular
  1. ​​Diseñar su autómata de pila
  1. ​​Diseñar una gramática libre de contexto
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Aplicación del teorema de bombeo
  1. ​​Diseño de autómata de pila