Langages décidables non sensibles au contexte


15

On peut soutenir que la plupart des langages créés pour décrire des problèmes quotidiens sont sensibles au contexte. En revanche, il est possible et pas difficile de trouver des langages qui ne sont pas récursifs ou même non récursivement énumérables.

Entre ces deux types se trouvent les langages récursifs non sensibles au contexte. Wikipedia donne un exemple ici :

Un exemple de langage récursif qui n'est pas sensible au contexte est tout langage récursif dont la décision est un problème difficile à EXPSPACE, disons l'ensemble de paires d'expressions régulières équivalentes avec exponentiation.

Donc, la question: Quels sont les autres problèmes qui sont décidables mais non sensibles au contexte? Cette classe de problèmes est-elle identique à EXPSPACE décidable?


2
Beaucoup de problèmes de vérification (vraisemblablement naturels) sont (s'ils sont décidables) au moins terminés par PSPACE. Je ne sais pas si cela est suffisant pour une sensibilité non contextuelle, mais il y a aussi beaucoup de problèmes avec une limite inférieure EXPSPACE.
Raphael

Réponses:


10

CSL est identique à NSpace(n) (espace linéaire non déterministe). Toute langue extérieure à n'est pas CSL.NSpace(n)

Pour avoir une idée de la situation, rappelez-vous que et même TQBF.SATNSpace(n)

Quels autres problèmes existent qui sont décidables mais non sensibles au contexte?

Les problèmes sont nombreux. Tout problème qui est complet pour une classe de complexité supérieure à fera l'affaire (nous avons besoin de P S p a c e parce que des problèmes comme TQBF dans N S p a c e ( n ) qui sont complets pour P S p a c ePSpacePSpuneceNSpunece(n)PSpunececar une réduction (temps polynomial) peut faire exploser la taille d'une entrée par un polynôme). Donner un exemple signifie prouver une limite inférieure pour la classe de complexité contenant le problème et c'est une tâche très très difficile. Le seul moyen majeur que nous connaissions jusqu'à présent pour ce faire est la diagonalisation, ce qui signifie intuitivement que la classe la plus grande devrait être capable de simuler la classe la plus petite.

Donc semble un endroit naturel pour commencer à chercher des exemples naturels de langage qui ne sont pas CSL.EXpSpunece-huner

Cette classe de problèmes est-elle identique à EXPSPACE décidable?

Non. Selon le théorème de la hiérarchie spatiale , il existe des langages qui sont dans qui ne sont pas dans N S p a c e ( n ) . Si vous demandez de bons exemples, cela va être difficile car le théorème fonctionne en diagonalisation et donc le langage qu'il s'avère satisfaire à ces conditions est très artificiel.NSpunece(n2)NSpunece(n)

Je vous suggère de poser une question distincte pour un problème naturel qui sépare de N S p a c e ( n ) .NSpunece(n2)NSpunece(n)


2

Tout comme est hors contexte mais pas régulier, le langage L = { a n b n c n : n 0 } est décidable mais pas hors contexte. Cependant, L peut être résolu en utilisant un espace logarithmique (vous avez juste besoin d'un compteur pour chacun des symboles a , b et c ), il n'est donc pas difficile à parcourir.{unenbn:n0}L={unenbncn:n0}Lunebc

De plus, le langage , où r 1 et r 2 sont des expressions régulières, est PSPACE-complete. Je suis presque sûr que ce n'est pas contextuel, mais je ne me souviens pas d'une preuve et j'écris depuis mon téléphone, donc ce n'est pas facile d'aller chercher des références.{(r1,r2):L(r1)=L(r2)}r1r2


Duh. Pardon. Au final, j'avais fini de poser la mauvaise question! Ce que je voulais, c'était non sensible au contexte plutôt que non dépourvu de contexte. J'ai changé la question (ce qui invalide malheureusement votre réponse).
Victor Stafusa

BTW, pouvez-vous répondre à la situation actuelle?
Victor Stafusa

@Victor et maintenant?
Janoma

Beaucoup mieux. Mais doit encore être amélioré. Personnellement, je suis un peu sceptique quant à la non-sensibilité au contexte de votre exemple.
Victor Stafusa

Le problème donné est correct, mais sa classe était erronée. Il est complet pour EXPSPACE, pas complet pour PSPACE. Maintenant, je suis convaincu: en.wikipedia.org/wiki/EXPSPACE
Victor Stafusa
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.