Questions sur les automates finis, un modèle d'automate élémentaire à mémoire finie. Il est équivalent aux langues régulières et constitue la base de nombreux modèles plus complexes.
Convertir des expressions régulières en NFA (minimales) acceptant le même langage est facile avec des algorithmes standard, tels que celui de Thompson . L’autre direction semble être plus fastidieuse, cependant, et les expressions résultantes sont parfois désordonnées. Quels algorithmes existe-t-il...
En théorie des automates, nous lisons tous les automates comme des automates finis, depuis le tout début. Ce que je veux savoir, c'est pourquoi les automates sont-ils finis? Pour être clair, qu'est-ce qui est fini dans un automate - l'alphabet, le langage, les chaînes faites avec des expressions...
Dans ma classe, un étudiant a demandé si tous les automates finis pouvaient être dessinés sans croiser les bords (il semble que tous mes exemples l'ont fait). Bien sûr, la réponse est négative, l'automate évident pour la langue {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\;...
Je viens de terminer le premier chapitre de l' introduction à la théorie du calcul de Michael Sipser qui explique les bases des automates finis. Il définit un langage régulier comme tout ce qui peut être décrit par un automate fini. Mais je n'ai pas pu trouver où il explique pourquoi une langue...
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...
Je fais une présentation sur les machines Turing et je voulais donner quelques informations sur les FSM avant de présenter les machines Turing. Le problème est que je ne sais vraiment pas ce qui est TRÈS différent les uns des autres. Voici ce que je sais que c'est différent: FSM a des états...
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . J'ai créé un lexer et un analyseur d'expressions régulières simples pour prendre une expression régulière et générer son arbre d'analyse. La création d'un...
Nous savons que les DFA sont équivalents aux NFA en termes de pouvoir d'expressivité; il existe également un algorithme connu pour convertir les NFA en DFA (malheureusement je connais maintenant l'inventeur de cet algorithme), qui dans le pire des cas nous donne états, si notre NFA avait états....
Dans mon cours de théorie de l'informatique, beaucoup de nos problèmes impliquent l'utilisation de l'induction sur la longueur de la chaîne d'entrée pour prouver les déclarations sur les automates finis. Je comprends l'induction mathématique, mais lorsque les cordes entrent en jeu, je suis vraiment...
Tous les automates finis non déterministes peuvent être transformés en automates finis déterministes équivalents. Cependant, un automate fini déterministe ne permet qu'une seule flèche par symbole pointant à partir d'un état. Par conséquent, ses États devraient être membres de l'ensemble des États...
Je suis coincé sur la question suivante: "Les langages réguliers sont précisément ceux acceptés par les automates finis. Étant donné ce fait, montrez que si le langage est accepté par un automate fini, alors est également accepté par un certain fini; compose de tous les mots de inversé....
Laisser L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. est-il régulier?LLL Cette question paraissait suspecte au premier coup d'œil et je me suis rendu compte qu'elle était liée à la conjecture principale jumelle ....
Par exemple, lorsque nous considérons un DFA qui autorise les chaînes n'ayant aucune sous-chaîne 00ou 11je peux produire les deux DFA suivants:
L'algorithme de minimisation DFA de Brzozowski crée un DFA minimal pour DFA en:GGG inverser tous les bords de , faisant de l'état initial un état accepté, et des états acceptés initiaux, pour obtenir un NFA pour le langage inverse,GGGN′N′N' en utilisant la construction du jeu de puissance pour...
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...
J'ai utilisé FSM dans les conceptions de circuits séquentiels numériques. Mais je ne connais pas les automates finis. Quelqu'un peut-il m'aider à comprendre la différence «fondamentale» entre les deux?
Un automate fini déterministe (DFA) est un modèle de machine à états capable d'accepter tous et seulement les langages réguliers. Les DFA peuvent être (et sont généralement) définis de telle manière que chaque état doit fournir une transition pour tous les éléments de l'alphabet d'entrée; en...
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...
É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 longueurs d'une langue...
Je veux savoir si le problème suivant est décidable: Instance: un NFA A avec n états Question: Existe-t-il un nombre premier p tel que A accepte une chaîne de longueur p. Ma conviction est que ce problème est indécidable, mais je ne peux pas le prouver. Le décideur peut facilement avoir un...