Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être...
Je suis tombé sur cette question: "Donnez des exemples de deux langues régulières dont leur union ne produit pas une langue régulière." C'est assez choquant pour moi parce que je crois que les langues régulières sont fermées sous l'union. Ce qui signifie pour moi que si je prends deux langues...
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 à...
Cette question est de savoir si chaque théorème mathématique peut être réduit à la question de savoir si une seule machine de Turing s'arrête. En particulier, je m'intéresse aux conjectures qui ne sont actuellement pas prouvées. Par exemple: Wikipedia dit qu'il est actuellement inconnu s'il existe...
J'ai la langue suivante { 0je1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} J'essaie de déterminer dans quelle classe de langue Chomsky il s'intègre. Je peux voir comment cela pourrait être fait en utilisant une grammaire contextuelle, donc je sais qu'elle...
Si je comprends bien, les NFA ont le même pouvoir expressif que les expressions régulières. Souvent, la lecture d'expressions régulières équivalentes dans NFA est facile: vous traduisez des cycles en étoiles, des jonctions comme alternatives, etc. Mais que faire dans ce cas: [ source ] Les cycles...
Est-il théoriquement possible de spécifier un langage de programmation pour lequel aucune implémentation ne pourrait exister? Un langage de programmation est un moyen de définir des fonctions. Une implémentation signifie une méthode pour exécuter un programme donné dans ce langage sur une entrée...
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...
On peut comprendre votre question de deux manières, selon la définition de "le complément de CFL". cas A: le complément de CFL est la classe de toutes les langues qui ne sont pas en CFL. Formellement, Dans ce cas, est bien plus grand que , il a même des langages qui ne sont pas en , etc. Mais...
La minimisation des automates finis déterministes (DFA) est un problème qui a été étudié à fond dans la littérature, et plusieurs algorithmes ont été proposés pour résoudre le problème suivant: Étant donné un DFA , calculer un DFA minimal correspondant acceptant le même langage que . La plupart de...
Le décalage cyclique (également appelé rotation ou conjugaison ) d'un langage est défini comme . Selon wikipedia (et ici ), les langages sans contexte sont fermés dans le cadre de cette opération, avec des références aux articles d'Oshiba et de Maslov. Y a-t-il une preuve facile de ce fait?L { y x...
Ceci est une question du livre Dragon (je m'excuse pour les erreurs de traduction, je n'ai pas la version anglaise sous la main): Quelle langue est générée par cette grammaire? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Je ne sais pas ce que je suis censé faire ici....
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...
Les langues sans contexte ne sont pas fermées par complémentation. Dans les conférences, on nous a donné le même argument qu'ici sur Wikipédia : pour et sont tous deux sans contexte, mais leur intersection ne l'est pas. Étant donné que les langues sans contexte sont fermées sous les unions, elles...
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...
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...
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...
Je travaille à travers un exercice difficile dans un manuel, et je n'arrive pas à comprendre comment procéder. Voici le problème. Supposons que nous ayons le langage L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} où γγ\gamma est un...
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...