Puede una máquina estándar de dos contadores ( ) con las siguientes instrucciones:
1) ADD 1 to c_i, GOTO label_j
2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k
3) GOTO label_j
4) HALT and ACCEPT|REJECT
decide el siguiente idioma:
(la entrada se carga inicialmente en el contador ) ?.
¿Sigue siendo un problema abierto? (cf. Rich Schroeppel, "Una máquina de dos contadores no puede calcular " [1972])
fl.formal-languages
counter-automata
Marzio De Biasi
fuente
fuente
Respuestas:
El problema se ha resuelto en:
Oscar H. Ibarra, Nicholas Q. Trân, Una nota sobre programas simples con dos variables, Theoretical Computer Science, Volumen 112, Número 2, 10 de mayo de 1993, Páginas 391-397, ISSN 0304-3975, http: //dx.doi .org / 10.1016 / 0304-3975 (93) 90028-R .
Deje que sea la clase de idiomas reconocidos por las máquinas de dos contadores.TV
Nota: es extraño que en el artículo de Ibarra y Tran
está probado y los autores dicen que se ha derivado de una forma ligeramente diferente en:
IM Barzdin, Ob odnom klasse machin Turinga (machiny Minskogo), ruso, Álgebra i Logika 1 (1963) 42-51
pero no cites el artículo de Rich Schroeppel (1972) en el que también se deriva el teorema ... :-)
fuente