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.

4
Si
Nous avons deux langues: . Nous savons que est un langage régulier, donc ma question est de savoir si est régulier vers?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 J'essaie de trouver un moyen de le prouver ... Je ne peux bien sûr pas supposer que L1,L2L1,L2L_1,L_2sont réguliers ... Je cherche donc un moyen de le prouver. …
1
Existe-t-il un langage à compteur unique strictement non déterministe dont le complément est à compteur unique?
Soit A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} En clair,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Est-ce le cas que ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Je sais que pour les langues sans …
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 …
3
Prouver la langue qui comprend toutes les chaînes dans une langue est de la même longueur qu'une chaîne dans une autre langue est régulière
Donc, je me gratte la tête sur ce problème depuis quelques jours maintenant. Étant donné une certaine langueUNEAA et BBB c'est régulier, montrer que la langue LLL qui se compose de toutes les chaînes UNEAA dont la longueur est égale à une chaîne BBB est une langue régulière. Sous forme …
1
Prouver que les langues régulières sont fermées sous l'opérateur de cycle
J'ai en quelques jours un examen et j'ai des problèmes pour résoudre cette tâche. Laisser LLL être une langue régulière sur l'alphabet ΣΣ\Sigma. Nous avons l'opération cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Et maintenant, nous devons montrer que cycle(L)cycle⁡(L)\operatorname{cycle}(L) est …
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.