Questions marquées «formal-languages»

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

2
Veuillez expliquer «décidabilité» et «vérifiabilité»
J'essaie de comprendre (intuitivement) les deux termes «décidabilité» et «vérifiabilité». J'ai fait un nombre raisonnable de recherches et de lecture des différents textes sur lesquels je peux mettre la main. Cependant, leur compréhension intuitive semble m'échapper, spécialement pour le second. Parmi les nombreuses définitions trouvées, la suivante trouvée dans cette …
1
Est la langue
Est la langue L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sans contexte? Je suppose que ce n'est pas sans contexte car il semble trop compliqué pour un PDA de décider si 2 nombres sont co-amorcés …
1
Existe-t-il un langage à compteur unique strictement non déterministe dont le complément est à compteur unique?
Soit A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} En clair,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Est-ce le cas que ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Je sais que pour les langues sans …
3
Prouver la langue qui comprend toutes les chaînes dans une langue est de la même longueur qu'une chaîne dans une autre langue est régulière
Donc, je me gratte la tête sur ce problème depuis quelques jours maintenant. Étant donné une certaine langueUNEAA et BBB c'est régulier, montrer que la langue LLL qui se compose de toutes les chaînes UNEAA dont la longueur est égale à une chaîne BBB est une langue régulière. Sous forme …
1
Prouver que les langues régulières sont fermées sous l'opérateur de cycle
J'ai en quelques jours un examen et j'ai des problèmes pour résoudre cette tâche. Laisser LLL être une langue régulière sur l'alphabet ΣΣ\Sigma. Nous avons l'opération cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Et maintenant, nous devons montrer que cycle(L)cycle⁡(L)\operatorname{cycle}(L) est …
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.