Questions marquées «counter-automata»

Les automates déterministes bidirectionnels à un compteur de 2dca (Petersen, 1994) peuvent reconnaître le langage unaire suivant: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Existe-t-il une autre langue unaire non triviale...

Peut une machine standard à deux compteurs ( ) avec les instructions suivantes: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 décidez de la langue suivante: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2...

Les automates pushdown alternatifs unidirectionnels (1APDA) peuvent reconnaître n'importe quelle langue en (Alternation par Chandra, Kozen et Stockmeyer, 1981) . En remplaçant un stockage pushdown d'un 1APDA par un compteur, nous pouvons obtenir un automate alternatif unidirectionnel avec un...