¿Por qué las máquinas de Turing con límites lineales son más potentes que los autómatas de estado finito?

Tenía la impresión de que nuestras computadoras, siendo finitas, en última instancia no son más poderosas que las máquinas de estado finito (extraordinariamente grandes). Sin embargo, las máquinas de Turing con límites lineales también son finitas, pero parece que los lenguajes regulares son estrictamente un subconjunto incorrecto de lenguajes sensibles al contexto.

Obviamente, me falta algo aquí. Que esta pasando?

finite-automata computation-models linear-bounded-automata Ben I.
fuente

Respuestas:

La máquina de Turing lineal limitada está restringida a una cinta cuya longitud es una función lineal de la longitud de la entrada.

Si el límite de longitud fuera constante, la máquina no sería más poderosa que un DFA. Sin embargo, un DFA no puede hacer crecer más estados para hacer frente a una entrada más larga, lo que en efecto el LBTM puede hacer (tomando el estado como la configuración completa de la máquina). Por lo tanto, el LBTM es estrictamente más poderoso.

rici
fuente

o (\log \log n)

$o(\log \log n)$

@ skankhunt42, ¿por qué es eso?

Ben I.

k \log \log n

$k \log \log n$

2^{k \log \log n} = 2^{\log (\log^{k} n)} = \log^{k} n

$2^{k \log \log n} = 2^{\log (\log^k n)} = \log^k n$

o (n)

$o(n)$

O (1)

$\mathcal O(1)$

c \in N

$c \in \mathbb N$

c

$c$

⋃_{0 \leq i \leq c} {0, 1}^{i}

$\bigcup_{0 \leq i \leq c} \{ 0, 1 \}^i$

@Choirbean Requiere una prueba usando secuencias cruzadas. Puede buscarlo aquí cs.stackexchange.com/questions/7372/… .

skankhunt42

2^{k \log \log n}

$2^{k \log \log n}$

n 2^{k \log \log n}

$n 2^{k \log \log n}$

Creo que primero debemos entender la descripción de una máquina y el tamaño de entrada, para que la comparación sea solo de objetos válidos. Digamos que N es un tamaño de entrada. Esto significa que las máquinas tendrán estos límites de recursos.

\begin{array}{lll} Resource & Finite Automata: A & LBTM: M \\ Input Tape Size & O (N) & O (N) \\ Tape Operations & Read Only & Read, Write \\ Tape Movement & Left to right, One pass only & Both directions, No pass limit \\ # of Locations (States) & M & M \\ Input Alphabet & Σ & Σ \\ Acceptance Condition & Reach finite location: ℓ_{f} & Reach finite location: ℓ_{f} \end{array}

$\begin{array}{|l|l|l|} \hline \mbox{Resource} & \mbox{Finite Automata:}\quad \mathcal{A} & \mbox{LBTM:} \quad \mathcal{M}\\ \hline \mbox{Input Tape Size} & O(N) & O(N)\\ \mbox{Tape Operations} & \mbox{Read Only}& \mbox{Read, Write}\\ \mbox{Tape Movement} & \mbox{Left to right, One pass only}& \mbox{Both directions, No pass limit}\\ \mbox{# of Locations (States)} & M & M\\ \mbox{Input Alphabet} & \Sigma & \Sigma\\ \mbox{Acceptance Condition} & \mbox{Reach finite location: }\ell_f & \mbox{Reach finite location: }\ell_f\\ \hline \end{array}$

$\mathcal{M}$ $\mathcal{A}$ $\mathcal{A}$

\begin{array}{lll} Resource & Finite Automata: A^{'} & LBTM: M \\ Input Tape Size & O (N) & O (N) \\ Tape Operations & Read Only & Read, Write \\ Tape Movement & Left to right, One pass only & Both directions, No pass limit \\ # of Locations (States) & M \times 2^{N} & M \\ Input Alphabet & Σ & Σ \\ Acceptance Condition & Reach finite location: ℓ_{f}^{'} & Reach finite location: ℓ_{f} \end{array}

$\begin{array}{|l|l|l|} \hline \mbox{Resource} & \mbox{Finite Automata:}\quad \mathcal{A'} & \mbox{LBTM:} \quad \mathcal{M}\\ \hline \mbox{Input Tape Size} & O(N) & O(N)\\ \mbox{Tape Operations} & \mbox{Read Only}& \mbox{Read, Write}\\ \mbox{Tape Movement} & \mbox{Left to right, One pass only}& \mbox{Both directions, No pass limit}\\ \mbox{# of Locations (States)} & M \times 2^N & M\\ \mbox{Input Alphabet} & \Sigma & \Sigma\\ \mbox{Acceptance Condition} & \mbox{Reach finite location: }\ell'_f & \mbox{Reach finite location: }\ell_f\\ \hline \end{array}$

$\mathcal{A}'$ $\mathcal{M}$ $\mathcal{A}'$ $N$ $\mathcal{A}$ $N$ $\mathcal{M}$ $\mathcal{M}$

Devendra Bhave
fuente