Questions marquées «formal-languages»

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


3
Est régulier?
J'ai passé ma théorie des examens de calcul il y a quelques semaines, et c'était l'une des questions: Supposons que la langueL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L est-il régulier? Si oui, fournissez-lui une expression régulière ou un automate. Après que je lui ai brièvement demandé la réponse après l'examen, il semble …


1
La preuve que
Je voudrais utiliser votre aide pour le problème suivant: . Vérifier que L ∉ R E ∪ C o R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Je sais que pour prouver , il suffit de trouver un langage L ′ …


3
Si
Je suis coincé à résoudre le prochain exercice: Faire valoir que si est sans contexte et R est régulier, alors L / R = { w ∣ ∃ x ∈ RLLLRRR (c'est-à-dire lebon quotient) est sans contexte.L/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in …


1
Expressivité des expressions régulières modernes
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …

2
Partitionner une langue régulière infinie en 2 langues régulières infinies disjointes
Étant donné une langue régulière infinie LLL, comment puis-je prouver que LLL peut être partitionné en 2 langages réguliers infinis disjoints L1,L2L1,L2L_1, L_2? C'est:L1∪L2=LL1∪L2=LL_1 \cup L_2 = L, L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing, et L1L1L_1 et L2L2L_2 sont à la fois infinies et régulières. Jusqu'à présent, j'ai pensé à: en …

1
Que signifie dire qu'une langue est «effectivement fermée» dans le cadre d'une opération?
J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas. Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture normale? Pour …




1
Les langages formels peuvent-ils être utilisés pour étudier la notation mathématique?
Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et comment prédire …


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.