Questions marquées «closure-properties»

Questions sur les opérations sur des objets d'un certain type qui aboutissent à des objets du même type.

2
Les ensembles Avant et Après pour les grammaires sans contexte sont-ils toujours sans contexte?
Soit GGG une grammaire sans contexte. Une chaîne de terminaux et de nonterminals est dit être une forme propositionnelle de si vous pouvez l' obtenir en appliquant des productions de zéro fois ou plus au symbole de début de . Let l'ensemble des formes phrastiques de .GGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Soit et soit …
2
Fermeture contre le bon quotient avec une langue fixe
J'adorerais vraiment votre aide avec les éléments suivants: Pour tout fixe, je dois décider s'il y a fermeture sous les opérateurs suivants:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Les options pertinentes sont: Les langues régulières …
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
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 …
1
Construire tous les langages sans contexte à partir d'un ensemble de langages de base et de propriétés de fermeture?
Une façon de regarder les expressions régulières est une preuve constructive du fait suivant: il est possible de construire les langages réguliers en commençant par un petit ensemble de langages et en les combinant via un petit ensemble fixe de propriétés de fermeture. Plus précisément, si nous commençons par la …
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
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 …
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.