É possível dois contadores padrão ( ) com as seguintes instruções:
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
decida o seguinte idioma:
(a entrada é inicialmente carregada no contador )?
Ainda é um problema em aberto? (cf. Rich Schroeppel, "Uma máquina de dois contadores não pode calcular " [1972])
fl.formal-languages
counter-automata
Marzio De Biasi
fonte
fonte
Respostas:
O problema foi resolvido em:
Oscar H. Ibarra, Nicholas Q. Trân, uma nota sobre programas simples com duas variáveis, Ciência da Computação Teórica, Volume 112, Edição 2, 10 de maio de 1993, Páginas 391-397, ISSN 0304-3975, http: //dx.doi .org / 10.1016 / 0304-3975 (93) 90028-R .
Permita que a seja a classe de idiomas reconhecida por máquinas de dois contadores.TV
Nota: é estranho que no artigo de Ibarra & Tran
está provado e os autores dizem que foi derivado de uma forma ligeiramente diferente em:
IM Barzdin, Ob odnom klasse machin Turinga (minúsculo Minskogo), russo, álgebra e lógica 1 (1963) 42-51
mas não cite o artigo de Rich Schroeppel (1972), no qual o teorema também é derivado ... :-)
fonte