Existe-t-il des propriétés indécidables des automates non complets de Turing?


15

Existe-t-il des propriétés indécidables des automates linéaires bornés (en évitant l'astuce de la langue vide)? Et pour un automate fini déterministe? (mettre de côté l'intraçabilité).

J'aimerais obtenir un exemple (si possible) d'un problème indécidable défini sans utiliser de machines Turing explicitement les .

Turing l'exhaustivité d'un modèle est-il nécessaire pour prendre en charge des problèmes non calculables?


"Y a-t-il une solution pour ce système d'équations diophantiennes?" C'est bien ce que vous demandez? Ce n'est pas clair pour moi ce que tu veux. Mais, le problème que j'ai donné est indécidable et ne mentionne pas TM, donc, à proprement parler, il semblerait satisfaire les exigences de votre deuxième paragraphe.
rgrig

Décider si deux automates de refoulement reconnaissent les mêmes mots est indécidable ainsi que d' autres problèmes concernant les automates de refoulement . Je ne peux pas penser à des problèmes indécidables impliquant des DFA.
jmad

1
La réponse à la question "Est-il possible de construire un problème indécidable pour un automate moins puissant qu'une machine de Turing" est oui . En fait, pour chaque type d'automate, on peut toujours identifier un problème indécidable.
Amelio Vazquez-Reina

1
Étant donné la réponse acceptée, j'ai reformulé la question pour demander ce que le PO veut (apparemment).
Raphael

Réponses:


15

Problèmes indécidables concernant les grammaires sans contexte, et donc les accepteurs de refoulement, qui sont des MT restreintes de Wikipedia ...

  1. Étant donné un CFG, génère-t-il la langue de toutes les chaînes sur l'alphabet des symboles terminaux utilisé dans ses règles?

  2. Étant donné deux CFG, génèrent-ils le même langage?

  3. Étant donné deux CFG, la première peut-elle générer toutes les chaînes que la seconde peut générer?

Il existe de nombreux autres sur les CFG / PDA ainsi que les CSG / LBA et de nombreux autres modèles «plus simples que TM».


+1, merci, je suis toujours tenté de poser des questions sur un plus simple que CFG, etc. .. pour savoir qui est le premier connu des automates (simple) + problème indécidable
Hernan_eche

3
Pour trouver un problème "plus simple" ou "le plus simple" qui est indécidable, ou qui a une propriété, vous auriez besoin d'une définition précise de "simple", dont beaucoup sont possibles. Mais le classique dans les automates et les langages formels est "de niveau dans la hiérarchie de Chomsky" (qui n'est pas vraiment une hiérarchie, mathématiquement parlant - il était à l'origine proposé pour les grammaires du langage naturel). Le FSA est le plus bas, et je suis sûr que tout problème indécidable pour les FSA devrait se référer de manière "essentielle" à des formalismes "moins simples" (tous ayant besoin d'une définition précise). CFL / CFG est le deuxième plus haut, alors j'ai choisi cela.
David Lewis

+1 Je suis d'accord, je trouve que le minimum est également indécidable, il n'est pas possible de créer un problème indécidable pour FSA, alors c'est possible pour CFG, c'est juste tentant de trouver quelque chose entre les deux, merci
Hernan_eche

1
@Hernan_e - il existe une structure très riche de modèles et de langages sous-CFL - par exemple, la famille pda / 1 compteur, qui utilise un "compteur" entier positif au lieu d'un pda; le pda à n tours, qui ne permet que des tours d'augmentation à diminution de la pile, et des généralisations de ceux-ci. Et il y a beaucoup de problèmes indécidables à ce sujet, ainsi que des questions ouvertes sur les structures, par exemple: y a-t-il une LFC non régulière "minimale" dans une notion précise de "minimal". Mais ce truc est généralement au niveau des diplômés et / ou de la recherche.
David Lewis

7

Ce que vous demandez dans la dernière partie de la question n'est pas clair, principalement parce que "un problème concernant un modèle de machine" n'est pas défini.

J'aimerais obtenir un exemple (si possible) de problème indécidable sans avoir besoin de Turing Machine

Soit une classe de machines et permet d'utiliser i comme code de M i . Nous pouvons aussi interpréter i comme le code de i th TM et demander que, étant donné M i, le i th TM s'arrête? Et ce problème concernant M i s est indécidable.{Mi}iMiiiMiiMje

Une langue n'est qu'un ensemble de chaînes, quelle interprétation vous attribuez aux chaînes n'a aucun effet sur la décidabilité de la langue. À moins que vous ne définissiez formellement ce que vous entendez par un modèle de machine et un problème concernant ces machines, vous ne pourrez pas répondre à vos questions ultérieures.

Turing complète-t-il la machinerie minimale pour prendre en charge un problème indécidable?

Encore une fois, le point que j'ai mentionné ci-dessus s'applique. Une question plus raisonnable serait: toutes les preuves d'indécidabilité passent-elles par quelque chose de similaire à l'indécidabilité du problème d'arrêt des MT? (La réponse est: il existe d'autres moyens).

Une autre question possible est: quel est le plus petit sous-ensemble de MT où le problème d'arrêt pour eux est indécidable. Évidemment, une telle classe devrait contenir des problèmes qui ne s'arrêtent pas (sinon le problème est trivialement décidable). Nous pouvons facilement créer des sous-ensembles artificiels de MT où le problème d'arrêt n'est pas décidable sans être en mesure de calculer quoi que ce soit d'utile. Une question plus intéressante concerne les grands ensembles de MT décidables où l'arrêt est décidable pour eux.

Voici un autre point: dès que vous avez une très petite capacité à manipuler des bits (par exemple une taille polynomiale ), vous pouvez créer une machine N avec trois entrées: e , x et c de telle sorte qu'elle produise 1 ssi c est un arrêt de l'acceptation du calcul de TM M e sur l'entrée x . Ensuite, vous pouvez poser les problèmes comme: y a-t-il un c st N ( e , x , c ) est 1? ce qui est un problème indécidable.CNFNeXccMeXcN(e,X,c)


5

Il existe un problème indécidable très simple pour les automates à états finis. Divisez l'alphabet en deux moitiés , où les lettres en ˉ Σ sont des copies "barrées". Maintenant, étant donné un automate à états finis A sur Σ ˉ Σ, décidez s'il accepte une chaîne telle que la partie non barrée est égale à la partie barrée (si nous ignorons les barres). Par exemple, la chaîne a a ˉ a ˉ a b ˉ b ˉ a a serait correcte (les deux parties épelent a a b a ).ΣΣ¯Σ¯UNEΣΣ¯uneuneune¯une¯bb¯une¯uneuneunebune

Oui, c'est un problème de post-correspondance caché dans un automate à états finis. L'exhaustivité de Turing est loin d'être évidente dans la question. Il est là, en arrière-plan, alors que les deux copies (non barrées et barrées) codent ensemble une file d'attente, elle-même de puissance Turing.


avez-vous une référence à ce sujet? il n'est pas évident de savoir comment convertir PCP en cela. fyi il y a aussi des problèmes indécidables avec les "transducteurs" FSM.
vzn

1
(u1,,un)(v1,,vn){u1v¯1,,unv¯n}+v¯v

3

"Est-il possible de construire un problème indécidable pour un automate moins puissant qu'une machine de Turing?" "

Oui. Un automate est une formulation axiomatique cohérente de la théorie des nombres (par exemple, voir (1) ) et, par conséquent, selon le premier théorème d'incomplétude de Gödel, il doit inclure des propositions indécidables.

Exemple:

Tout problème indécidable pour une MT est également indécidable pour tout automate qu'une MT peut simuler. Pourquoi? Parce que si un automate moins puissant qu'une MT peut décider d'un langage qu'une MT ne peut pas décider, une MT devrait pouvoir le décider en simulant l'automate avec renvoie une contradiction.


2
La question de savoir si un LBA s'arrête ou non est également décidable pour une MT, donc cela ne faisait pas partie des exemples que j'ai fournis dans ma réponse. Tout problème indécidable pour une MT est également indécidable pour une LBA.
Amelio Vazquez-Reina

1
La deuxième affirmation est fausse pour toute interprétation car le problème d'arrêt est récursif pour les LBA mais pas pour les TM. Pour les MT, il est récursivement énumérable, et si vous voulez étirer la terminologie et appeler les deux "décidables", alors considérez le problème de co-arrêt pour les deux - récursif pour les LBA mais pas même récursivement énumérable pour les TM. Quant à la première déclaration, tout ce qui est "non artificiel" pour les automates à états finis est récursif. Nous pourrions toujours utiliser "Est-ce que cette FSA accepte exactement{T|TMThuneltsonjenputT}ce qui n'est clairement pas décidable, mais c'est artificiel. Cela peut probablement être officialisé.
David Lewis

1
@roseck - d'abord une correction: {T| TM T(T) s'arrête}. Deuxièmement, je suis assez confus par votre déclaration et votre réponse - aucun de vos liens ne justifie les déclarations qu'ils affichent; les deux sont des articles généraux.
David Lewis

1
@DavidLewis roseck ne prétend pas qu'un problème indécidable sur les MT est toujours indécidable si vous le réinterprétez comme concernant les LBA. roseck déclare simplement que s'il y a un problème qui ne peut pas être résolu par les MT, alors le même problème exact sans réinterprétation ne peut pas être décidé par tout ce qu'une MT peut simuler. Le problème d'arrêt de TM et le problème d'arrêt de LBA sont deux problèmes différents.
Ben

1
@Ben - si c'est le cas, alors "... indécidable pour tout automate qui ..." devrait être " par ". Mais c'est une déclaration banale.
David Lewis

1

Emil Post a voulu trouver la réponse à cette question: y a-t-il un ensemble non récursif (non calculable) qui ne résout pas le problème d'arrêt. Il n'a réussi qu'en partie, mais ce qu'il a fait, c'est créer ce qu'on appelle des ensembles simples .

De Wikipédia:

Un sous-ensemble des naturels est appelé simple s'il est co-infini et récursivement énumérable, mais chaque sous-ensemble infini de son complément ne peut pas être énuméré récursivement. Les ensembles simples sont des exemples d'ensembles énumérables récursivement, qui ne sont pas récursifs. Jetez un oeil à l'article Wikipedia pour plus d'informations et de références, ensemble simple .

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.