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...
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...
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 d'équation:...
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...
Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des langages...