Questions marquées «counter-automata»

2
Langages unaires reconnus par les contre-automates déterministes bidirectionnels
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 reconnue par 2dca? Remarquez qu'on ne sait toujours pas si les 2dca peuvent reconnaître ?SQUARE={0n2∣n≥0}SQUUNERE={0n2∣n≥0} …
1
Les automates unidirectionnels alternatifs avec un guichet unique peuvent-ils reconnaître certaines langues unaires non régulières?
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 compteur (1ACA). Ma question concerne 1ACA sur les langues unaires.D TjeME( …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.