AUTOMATAS

 La siguiente Máquina de Turing (MT) reconoce el lenguaje L={aⁱbⁱcⁱ : i ≥ 0} sobre ∑={a,b,c} . Identifique que otra característica válida es propia de ella:

Seleccione una:

a. La cinta siempre queda vacía

b. La cinta siempre termina con XXYYZZ para cualquier cadena válida

c. Cuando reconoce (aaabbbccc) la cinta queda con XXXYYYZZZ

d. Cuando reconoce una cadena válida la cinta siempre queda con ZYZ

Retroalimentación

La respuesta correcta es: Cuando reconoce (aaabbbccc) la cinta queda con XXXYYYZZZ