Questions marquées «unary-languages»

Quel est le modèle de calcul le plus simple pour lequel le problème de vide est indécidable?

Quel est le modèle de calcul le plus simple pour lequel le problème de vide est indécidable? Le problème de vide pour un modèle de calcul (par exemple automate à états finis, automate à poussée alternée, automate quantique à erreurs bornées avec compteur, LBA déterministe, etc.) est de déterminer...

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...