Étant donné les langues AAA et BBB , disons que leur concaténation ABABAB est sans ambiguïté si pour tous les mots w∈ABw∈ABw \in AB , il y a exactement une décomposition w=abw=abw = ab avec a∈Aa∈Aa \in A et b∈Bb∈Bb \in B , et ambiguë sinon. (Je ne sais pas …
Si j'ai une grammaire de type 3, elle peut être représentée sur un automate déroulant (sans faire aucune opération sur la pile) afin que je puisse représenter des expressions régulières en utilisant des langages sans contexte. Mais puis-je savoir si une grammaire de type 3 est , L L ( …
Notez qu'il s'agit d'une question liée à l'étude dans un cours de CS dans une université, ce n'est PAS des devoirs et peut être trouvé ici sous l'examen d'automne 20112. Voici les deux questions que je regarde d'un examen passé. Ils semblent être liés, le premier: Laisser FINITECFG={<G>∣G is a …
On dit que l'intersection d'un langage L sans contexte avec un langage M normal est toujours sans contexte. J'ai compris la preuve de la construction de produits croisés, mais je ne comprends toujours pas pourquoi elle est sans contexte mais pas régulière. Le langage généré par une telle intersection a …
Je ne suis pas certain de l'utilisation des expressions langage "infini" ou langage "fini" en théorie informatique. Je pense que la racine du problème est qu'un langage comme est infini dans le sens où il peut générer un nombre infini (mais dénombrable) de chaînes. Pourtant, il peut encore être reconnu …
Récemment, une question intéressante a été posée puis supprimée. Pour un langage régulier , sa complexité DFA est la taille du DFA minimal qui l'accepte, et sa complexité NFA est la taille du NFA minimal qui l'accepte. Il est bien connu qu'il existe une séparation exponentielle entre les deux complexités, …
Existe-t-il une caractérisation algébrique du nombre de mots d'une longueur donnée dans une langue régulière? Wikipédia énonce un résultat quelque peu imprécis: Pour tout langage régulier il existe des constantes et des polynômes tels que pour tout le nombre de les mots de longueur dans satisfont à l'équation .λ 1 …
Étant donné un langage , définissez l'ensemble de longueur de comme l'ensemble de longueurs de mots dans : L L L S ( L ) = { | u |LLLLLLLLLL S (L)={ | u | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quels ensembles d'entiers peuvent être l'ensemble de …
Étant donné un alphabet , combien de langues différentes sont régulièrement là- bas qui peuvent être acceptées par un -state automate fini non déterministe?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn À titre d'exemple, considérons . Nous avons alors configurations de transition différentes et configurations d'état de début et de fin différentes, nous …
On sait que la langue des mots contenant un nombre égal de 0 et 1 n'est pas régulière, tandis que la langue des mots contenant un nombre égal de 001 et 100 est régulière ( voir ici ). Étant donné deux mots w1,w2w1,w2w_1,w_2 , est-il décidable si la langue des …
Je me demandais quand les langues contenant le même nombre d'instances de deux sous-chaînes seraient régulières. Je sais que le langage contenant un nombre égal de 1 et de 0 n'est pas régulier, mais est un langage tel que , où = nombre moyen d'instances de la sous-chaîne "001" est …
En faisant le travail actuel pour mon cours de langues formelles et d'automates, je suis resté coincé sur des exercices impliquant des langues unaires (j'espère que c'est le bon terme), c'est-à-dire des langues qui s'appuient sur une seule lettre. Je ne veux pas poser de questions sur les exercices spécifiques, …
Que language soit régulier.L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Une factorisation de est une paire maximale d'ensembles de mots avecLL\mathcal{L}(X,Y)(X,Y)(X,Y) X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , où | .X⋅Y={xyX⋅Y={xyX \cdot Y = \{xyx∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} (X,Y)(X,Y)(X,Y) est maximal si pour chaque paire avec soit ou …
LLL est une langue régulière sur l'alphabet . Le quotient gauche de concernant est le langage L w ∈ Σ ∗ w - 1 L : = { v ∣ w v ∈ L }Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Comment puis-je prouver que …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.