Spécifier des langues formelles en donnant des grammaires formelles est une tâche fréquente: nous avons besoin de grammaires non seulement pour décrire les langues, mais aussi pour les analyser, ou même pour faire une science appropriée . Dans tous les cas, il est important que la grammaire soit...
Existe-t-il un langage "naturel" indécidable? par "naturel", j'entends un langage défini directement par les propriétés des chaînes, et non via des machines et leurs équivalents. En d'autres termes, si le langage ressemble à où est un TM, DFA (ou regular-exp), PDA (ou grammaire), etc., alors n'est...
Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Je recherche des théories mathématiques qui traitent de la description des langages formels (ensemble de chaînes) en général et...
Lorsque l'on considère les modèles de calcul des machines, la hiérarchie de Chomsky est normalement caractérisée par (dans l'ordre), les automates finis, les automates déroulants, les automates liés linéaires et les machines de Turing. Pour le premier et le dernier niveau 1 (langages réguliers et...
Wikipedia a la définition suivante du lemme de pompage pour les langages réguliers ... Soit LLL une langue régulière. Il existe alors un entier ppp ≥ 1 dépendant uniquement de LLL tel que chaque chaîne www dans LLL de longueur au moins ppp ( ppp est appelé la "longueur de pompage") puisse s'écrire...
Je souhaite analyser les langues spécifiques au domaine défini par l'utilisateur. Ces langages sont généralement proches des notations mathématiques (je n'analyse pas un langage naturel). Les utilisateurs définissent leur DSL dans une notation BNF, comme ceci: expr ::= LiteralInteger | ( expr ) |...
Les langages sans contexte ne sont pas fermés sous complément, nous le savons. Pour autant que je sache, les langages sans contexte qui sont un sous-ensemble de pour certaines lettres sont fermés sous complément (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Voici mon argument. Chaque langue CF a une image...
Je suis coincé sur la question suivante: "Les langages réguliers sont précisément ceux acceptés par les automates finis. Étant donné ce fait, montrez que si le langage est accepté par un automate fini, alors est également accepté par un certain fini; compose de tous les mots de inversé....
J'essaie d'utiliser le lemme de pompage pour prouver que n'est pas régulier.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Voici ce que j'ai jusqu'à présent: supposons que est régulier et que soit la longueur de pompage, donc . Considérons toute décomposition de pompage telle...
Laisser L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. est-il régulier?LLL Cette question paraissait suspecte au premier coup d'œil et je me suis rendu compte qu'elle était liée à la conjecture principale jumelle ....
Considérons deux grammaires contexte et et la question suivante: , c'est-à-dire, les deux grammaires sont-elles équivalentes?g1g1G_1g2g2G_2L ( G1) = L ( G2)L(g1)=L(g2)L(G_1) = L(G_2) En général, ce problème est indécidable. Cependant, si et sont des gauche (ou à droite), le problème est décidable,...
Une machine de Turing sans capacité d'écriture sur des cellules vierges est-elle moins puissante que la Turing standard? Je pense que la réponse est oui mais je ne suis pas en mesure de trouver un calcul qu'une machine standard de Turing peut faire mais cette machine ne le peut pas. Des...
Existe-t-il un algorithme / une procédure systématique pour tester si une langue est hors contexte? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme ), testez si le langage est hors contexte ou non. Imaginez que nous écrivons un service Web...
Réglage: expressions régulières avec références arrières langue unaire (alphabet à 1 symbole) Le problème suivant est-il décidable dans ce paramètre: Étant donné une expression régulière avec des références arrières, définit-elle un langage régulier? Par exemple, (aa+)\1définit une langue...
Étant donné un langage régulier , il est facile de prouver qu'il existe une constante telle que , avec il existe des chaînes , et telles que et , et pour tout c'estLLLNNNσ∈ Lσ∈L\sigma \in L| σ| ≥ N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma| α β| ≤ N|αβ|≤N\lvert \alpha \beta \rvert \le...
Il y a beaucoup (et je veux dire beaucoup) de langues dénombrables qui sont décidables par Turing. Est-ce qu'une langue innombrable peut être décidable de
Selon Wikipedia , pour tout langage régulier LLL il existe des constantes λ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_k et des polynômes p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) tels que pour tout nnn le nombre sL(n)sL(n)s_L(n) de mots de longueur nnn dans LLL satisfait l'équation...
Étant donné les langues AAA et BBB , disons que leur concaténation ABABAB est sans ambiguïté si pour tous les mots w∈ABw∈ABw \in AB , il y a exactement une décomposition w=abw=abw = ab avec a∈Aa∈Aa \in A et b∈Bb∈Bb \in B , et ambiguë sinon. (Je ne sais pas s'il existe un terme établi pour cette...
Si j'ai une grammaire de type 3, elle peut être représentée sur un automate déroulant (sans faire aucune opération sur la pile) afin que je puisse représenter des expressions régulières en utilisant des langages sans contexte. Mais puis-je savoir si une grammaire de type 3 est , L L ( 1 ) , S L R (...
Un automate fini déterministe (DFA) est un modèle de machine à états capable d'accepter tous et seulement les langages réguliers. Les DFA peuvent être (et sont généralement) définis de telle manière que chaque état doit fournir une transition pour tous les éléments de l'alphabet d'entrée; en...