​​Serie 3: Lenguajes recursivamente enumerables y Jerarquía extendida de Chomsky
​​Resolver los ejercicios asignados a mano, generar un documento PDF con las imágenes de su solución que se subirá al portal de Edmodo, a la actividad correspondiente.
​​

​​Sección 1: Máquinas de Turing

​​Pregunta 1: 

​​Con Σ={x,y} y el lenguaje formado por palabras con la forma xⁿyᵐ con n> 2m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Diseñar una Máquina de Turing que acepte al lenguaje
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Diseño de MT

​​Pregunta 2: 

​​Con Σ={x,y} y el lenguaje formado por palabras con la forma xⁿyᵐ con 2n> m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Diseñar una Máquina de Turing que acepte al lenguaje
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Diseño de MT

​​Pregunta 3: 

​​Con Σ={x,y} y el lenguaje formado por palabras con la forma xⁿyᵐ con 2n< m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Diseñar una Máquina de Turing que acepte al lenguaje
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Diseño de MT

​​Pregunta 4: 

​​Con Σ={x,y} y el lenguaje formado por palabras con la forma xⁿyᵐ con n< 2m 
  1. ​​Dar cinco ejemplos de cadenas que perteneces o no  al lenguaje (cinco por caso)
  1. ​​Diseñar una Máquina de Turing que acepte al lenguaje
​​
​​Evidencia que será evaluada
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Diseño de MT
​​

​​Sección 2: MT para MTs

​​Pregunta 5

​​Diseñe una máquina de Turing que cuente el número de estados únicos de los que sale una transición en una codificación de máquina de Turing (incluya un pseudocódigo, la cuenta puede ser con marcas del tipo |, |=1, ||=2, |||=3, etc)
  1. ​​Identifique el lenguaje aceptado por la máquina de Turing
  1. ​​Identifique cinco cadenas aceptadas por la máquina de Turing
  1. ​​Identifique cinco cadenas rechazadas por la máquina de Turing
​​
​​Evidencia que será evaluada
  1. ​​Lenguaje aceptado
  1. ​​Ejemplos de cadenas que deben ser aceptadas  y rechazadas
  1. ​​Pseudocódigo
  1. ​​Diseño de máquina de Turing

​​Pregunta 6