Os 2dca (autômatos determinísticos bidirecionais de um contador) (Petersen, 1994) podem reconhecer a seguinte linguagem unária: POWER={02n∣n≥0}.POWER={0 02n∣n≥0 0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Existe alguma outra linguagem unária não...
É possível dois contadores padrão ( ) com as seguintes instruções:c1,c2c1,c2c_1,c_2 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: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1...
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)....
Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos...