Questions marquées «formal-languages»

Questions liées aux langages formels, aux grammaires et à la théorie des automates

1
L'égalité linguistique pour les grammaires linéaires sans contexte est-elle décidable?
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, car les deux grammaires décrivent des langues …
1
Expressions régulières avec références inverses sur l'alphabet unaire
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 régulière, alors (aa+)\1+que non. Pouvons-nous décider lequel est le cas? Pour le …
3
Nombre de mots dans la langue régulière
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 sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . La langue L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} est régulière ( …
1
Construire un PDA pour le complément d'
Je me demande si cela est encore possible, puisque {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Par conséquent, un PDA qui peut distinguer un mot w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} du reste de {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} pourrait aussi bien l'accepter, ce qui me semble contradictoire. Je suppose …
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.