Questions marquées «regular-language»

Questions sur les langages formels qui peuvent être décrits par des expressions régulières (au sens de Kleene), ou, de façon équivalente, les langages qui peuvent être acceptés par des automates finis.

1
Adhésion monoïde de transition pour les DFA
Étant donné un DFA complet A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F) , nous pouvons définir une collection de fonctions fafaf_a pour chacune a∈Γa∈Γa\in \Gamma et avec fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q , fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a) . On peut généraliser cette notion à un mot w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m et fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} où∘∘\circ désigne la composition …
1
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières?
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières? Par un automate borné linéaire non déterministe (nLBA), je veux dire une machine de Turing non déterministe à bande unique où l'entrée est "rembourrée" avec des marqueurs de fin aux deux extrémités qui ne peuvent …
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.