Questions marquées «context-free»

Questions sur l'ensemble des langages (équivalents) décrits par des grammaires hors contexte ou acceptés par des automates de refoulement (non déterministes).

1
Convertir CFG en PDA
Existe-t-il un ensemble de règles ou de méthodes pour convertir une grammaire sans contexte en automates push down? J'ai déjà trouvé des diapositives en ligne mais je n'ai pas pu les comprendre. Dans la diapositive 10, il parle de certaines règles. Quelqu'un pourrait-il expliquer cela?
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
Caractérisation du style Myhill-Nerode de la LCF?
Définir l' équivalence de Nérode sur une langueL⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*} comme u∼Lvu∼Lvu \sim_L v ssi uw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in L pour chaque w∈Σ∗w∈Σ∗w \in \Sigma^{*}. L'équivalence Nerode ∼L∼L{\sim}_L a un nombre fini de classes d'équivalence précisément lorsque LLLpeut être reconnu par un automate à états finis. C'est le …
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 …
3
Langues sans contexte fermées sous inversion
En classe cette semaine, nous avons découvert les LFC et leurs propriétés de fermeture. J'ai vu des preuves d'union, d'intersection et de compliment, mais pour le renversement, mon conférencier vient de dire que c'était fermé. Je voulais voir la preuve, donc je cherchais depuis quelques jours, mais tout ce que …
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.