Revisión TRES


Máquinas de Turing y Jerarquía de Chomsky






Ivan Meza

Problema 1

Diseñar una máquina de Turing para el lenguaje formado por cadenas del tipo $wmwmwmw$ con $w \in \Sigma^*$ y $\Sigma=\{a,b\}$

Problema 2

Diseñar una máquina de Turing para el lenguaje formado por cadenas del tipo $a^nb^na^nb^n$ con el alfabeto $\{a,b\}$

Problema 3

Diseñar una máquina de Turing que incremente en uno a un número en binario localizado en la cinta con el alfabeto $\{0,1\}$

Problema 4

Diseñar una máquina de Turing para el lenguaje formado por cadenas del tipo $b^na^mb^{n\times m}$ con el alfabeto $\{a,b\}$

Problema 5

Diseñar una máquina de Turing que reste 5 a un número unario mayor a 5

Problema 6

Dibujar la jerarquía Chomsky extendida con el mayor detalle posible y libertad artísticia

Problema 7

Describa una estrategía para una máquina de Turing para el siguiente lenguaje

El lenguaje formado por cadenas del tipo $w_1mw_2mw_3m\ldots mw_n$ donde se cumple que $w_i \ne w_j$ para cualquier $i$ y $j$ diferentes y con valores entre $0$ y $n$. Además se cumple qué $w \in \Sigma^*$ con $\Sigma=\{a,b\}$

Material



Licencia de Creative Commons
Revisión dos by Ivan V. Meza Ruiz is licensed under a Creative Commons Reconocimiento 4.0 Internacional License.
Creado a partir de la obra en http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/2018_revision_dos.html.