Questions marquées «formal-languages»

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

2
Les machines de Turing à bande unique avec entrée protégée en écriture reconnaissent uniquement les langues régulières
Voici le problème: Prouvez que les machines de Turing à bande unique qui ne peuvent pas écrire sur la partie de la bande contenant la chaîne d'entrée ne reconnaissent que les langues normales. Mon idée est de prouver que cette MT particulière est équivalente à un DFA. L'utilisation de cette …
2
Si
Dites, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Comment alors prouver que L∗L∗L^* est régulier? Si LLL est régulier, alors bien sûr L∗L∗L^* est également régulier. Si LLL est fini, alors il est régulier et encore L∗L∗L^* est régulier. J'ai également remarqué que, pour L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p …
7
est
Si est régulier, cela signifie-t-il que est régulier?A2A2A^2AAA Ma tentative de preuve: Oui, car la contradiction suppose que n'est pas régulier. Ensuite .AAAA2=A⋅AA2=A⋅AA^2 = A \cdot A Comme la concaténation de deux langues non régulières n'est pas régulière, ne peut pas être régulier. Cela contredit notre hypothèse. Donc, est régulier. …
1
Gödelization dans Turing Machine
Je regardais Gödelization dans le cours de théorie du calcul. Je pouvais comprendre les concepts de numérotation de Gödel, mais je ne pouvais pas comprendre son importance dans la théorie du calcul. Quelqu'un pourrait-il indiquer de bons documents ou souligner son importance?
2
Intersection et union d'une langue régulière et d'une langue non régulière
Soit régulier, régulier, non régulier. Montrez que n'est pas régulier ou donnez un contre-exemple.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 J'ai essayé ceci: Regardez . Celui-ci est régulier. Je peux construire un automate fini pour cela: est régulier, est régulier, donc supprimez tous les chemins (quantité finie) pour de la quantité finie …
2
Tous les langages sans contexte et réguliers sont-ils décidables de manière efficace?
Je suis tombé sur cette figure qui montre que les langages sans contexte et réguliers sont des sous-ensembles (appropriés) de problèmes efficaces (supposément ). Je comprends parfaitement que les problèmes efficaces sont un sous-ensemble de tous les problèmes décidables car nous pouvons les résoudre, mais cela peut prendre très longtemps.PP\mathrm{P} …
2
Quelle est la complexité du problème de vide pour les DFA bidirectionnels?
Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être exponentiellement plus importants. J'ai …
1
Prouver que le complément de
Je veux prouver que le complément de { 0n1n∣ n ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} n'est pas régulier en utilisant des propriétés de fermeture. Je comprends que le lemme de pompage peut être utilisé pour prouver que { 0n1n∣ n ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}n'est pas une langue …
3
Pourquoi les expressions régulières sont-elles définies avec l'union, la concaténation et les opérations en étoile?
Une expression régulière est définie récursivement comme uneaa pour certains, est une expression régulière,un ∈ Σa∈Σa \in \Sigma εε\varepsilon est une expression régulière, ∅∅\emptyset est une expression régulière, ( R1∪ R2)(R1∪R2)(R_1 \cup R_2) où et sont des expressions régulières est une expression régulière,R1R1R_1R2R2R_2 ( R1∘ R2)(R1∘R2)(R_1 \circ R_2) où et …
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.