Revisión #3 : Batería de ejercicios

Sección 1: MT para MTs

Pregunta 1

Diseñe una máquina de Turing que cuente el número de veces que una transición sale de un estado en una codificación de máquina de Turing (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 una cadena aceptada por la máquina de Turing
  1. Identifique una cadena rechazada por la máquina de Turing
  1. Diseñe la Máquina de Turing

Pregunta 2

Diseñe una máquina de Turing que cuente el número de veces que una transición llega a un estado en una codificación de máquina de Turing (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 una cadena aceptada por la máquina de Turing
  1. Identifique una cadena rechazada por la máquina de Turing
  1. Diseñe la Máquina de Turing

Pregunta 3

Diseñe una máquina de Turing que cuente el número de loops de tamaño de un símbolo básico en una codificación de máquina de Turing (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 una cadena aceptada por la máquina de Turing
  1. Identifique una cadena rechazada por la máquina de Turing
  1. Diseñe la Máquina de Turing

Pregunta 4

Diseñe una máquina de Turing que cuente el número de veces que un símbolo  sustituyen a otro en en una codificación de máquina de Turing (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 una cadena aceptada por la máquina de Turing
  1. Identifique una cadena rechazada por la máquina de Turing
  1. Diseñe la Máquina de Turing

Sección 2: Jerarquía de Chomsky extendida

Pregunta 5


Con libertad artística dibuje la jerarquía de Chomsky extendida. Para inspiración revise los siguientes links: