laquelle des déclarations suivantes est correcte? des conditions suffisantes et nécessaires de régularité d'une langue existent mais ne sont pas encore découvertes. Il n'y a pas de condition suffisante et nécessaire sur la régularité d'une langue. Le pompage du lemme est une condition nécessaire à...
Existe-t-il un algorithme / une procédure systématique pour tester si une langue est régulière? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testez si la langue est régulière ou...
Étant donné deux ensembles de chaînes sur l'alphabet , pouvons-nous calculer le plus petit automate déterministe à états finis (DFA) tel que et ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)A⊆L(M)A \subseteq L(M)L ( M) ⊆ Σ∗∖ BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B En d'autres termes, représente un ensemble...
Je me demandais, car a∗a∗a^* lui - même est un langage sans étoile, est - il une langue régulière qui n'est pas un langage sans étoile? Pouvez-vous donner un exemple? (de wikipdia ) Lawson définit les langues sans étoiles comme: Une langue régulière est dite sans étoile si elle peut être décrite...
Par exemple, je sais que la langue non régulière est en . J'aimerais en savoir plus d'exemples comme
Une expression régulière est définie récursivement comme uneaa pour certains, est une expression régulière,un ∈ Σa∈Σa \in \Sigma εε\varepsilon est une expression régulière, ∅∅\emptyset est une expression régulière, ( R1∪ R2)(R1∪R2)(R_1 \cup R_2) où et sont des expressions régulières est une...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Supposons que est une langue régulière sur un alphabet ordonné. La langue est-elle construite en prenant chaque mot en et en le triant toujours une langue
Je sais que les langages qui peuvent être définis à l'aide d'expressions régulières et ceux reconnaissables par DFA / NFA (automates finis) sont équivalents. De plus, aucun DFA n'existe pour la langue . Mais il peut encore être écrit en utilisant des expressions régulières (pour cette question...
Écrivez pour l'expansion décimale de (sans interligne ). Soit et entiers, avec . Considérez le langage des expansions décimales des multiples de plus une constante:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N}...
Ou au moins générer un ensemble de chaînes qu'un NFA accepte, donc je peux le nourrir dans l'autre NFA. Si je fais une recherche à travers tous les chemins de la NFA, cela fonctionnera-t-il? Bien que cela prenne beaucoup de
Décrivez une langue régulière qui ne peut être acceptée par aucun DFA qui ne comporte que trois états. Je ne sais pas trop par où commencer et je me demandais si quelqu'un pourrait me donner quelques conseils ou astuces. Je comprends que le lemme de pompage peut être utilisé pour prouver qu'une...
D'après ma lecture, il semble que la plupart des grammaires se préoccupent de générer un nombre infini de chaînes. Et si vous travailliez dans l'autre sens? Si on donne n chaînes de m longueur, il devrait être possible de faire une grammaire qui générera ces chaînes, et juste ces chaînes....
Je travaille sur le livre Sipser (2e édition) et suis tombé sur cet exemple, que je ne comprends pas. Dans le livre, il indique que ce NFA accepte la chaîne vide,ϵϵ\epsilon. Quelqu'un pourrait-il m'expliquer pourquoi c'est le cas? Ma compréhension est que ϵϵ\epsilon se déplacera vers q3q3q_3 qui...
Étant donné un langage , comment dire directement, sans regarder les règles de production, que ce langage n'est pas régulier?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Je pourrais utiliser le lemme de pompage mais certains gars disent juste en regardant la grammaire que ce n'est pas normal. Comment...
J'ai commencé à étudier les automates non déterministes en utilisant le livre de Hopcroft et Ullman . Je suis coincé dans un problème que j'ai trouvé très intéressant: Donnez un automate fini non déterministe acceptant toutes les chaînes qui ont la même valeur lorsqu'elles sont évaluées de gauche à...
Je pense aux langues unaires , où est l'ensemble de tous les mots dont la longueur est la somme de carrés. Formellement: Il est facile de montrer que n'est pas régulier (par exemple avec Pumping-Lemma). De plus, nous savons que chaque nombre naturel est la somme de quatre carrés ce qui implique que...
J'ai passé ma théorie des examens de calcul il y a quelques semaines, et c'était l'une des questions: Supposons que la langueL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L est-il régulier? Si oui, fournissez-lui une expression régulière ou un automate. Après que je lui ai...
Étant donné une langue régulière infinie LLL, comment puis-je prouver que LLL peut être partitionné en 2 langages réguliers infinis disjoints L1,L2L1,L2L_1, L_2? C'est:L1∪L2=LL1∪L2=LL_1 \cup L_2 = L, L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing, et L1L1L_1 et L2L2L_2 sont à la fois infinies et...
Nous pouvons former DFA en acceptant des nombres binaires divisibles par .nnn Par exemple, DFA acceptant des nombres binaires divisibles par 2 peut être formé comme suit: De même, DFA acceptant des nombres binaires divisibles par 3 peut être formé comme suit: Nous pouvons suivre une procédure bien...