Perguntas com a marcação «unary-languages»

Qual é o modelo computacional mais simples para o qual o problema do vazio é indecidível? O problema de vazio para um modelo computacional (por exemplo, autômato de estado finito, autômato de empilhamento alternado, autômato quântico de erro limitado com um contador, LBA determinístico, etc.) é determinar se, para uma …

12 computability  decidability  undecidability  unary-languages 

Os autômatos de empilhamento alternativo unidirecional (1APDA) podem reconhecer qualquer idioma em (Alternação de Chandra, Kozen e Stockmeyer, 1981) . Ao substituir um armazenamento pushdown de um 1APDA por um contador, podemos obter um autômato alternativo unidirecional por um contador (1ACA). Minha pergunta é sobre 1ACAs em idiomas unários.D TEuME( …

11 automata-theory  counter-automata  unary-languages