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.
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 …
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 obtenir pour …
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, …
É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 …
J'ai cette [sorte de drôle] question à l'esprit. Pourquoi l' automate fini non déterministe est-il appelé non déterministe alors que nous définissons les transitions pour les entrées. Eh bien, même s'il existe des transitions multiples et epsilon , elles sont définies, ce qui signifie que la machine est déterministe pour …
É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 …
Je sais que nous pouvons minimiser les DFA en trouvant et en fusionnant des états équivalents, mais pourquoi ne pouvons-nous pas faire de même avec les NFA? Je ne cherche pas une preuve ou quelque chose comme ça - à moins qu'une preuve soit plus simple à comprendre. Je veux …
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 …
Je suis programmeur et je maîtrise les automates, mais pas la logique. J'ai lu dans les journaux que les deux sont très étroitement liés. Les automates finis déterministes (DFA), les automates arborescents et les automates à refoulement visible sont tous liés à la logique monadique du second ordre (MSO). Bien …
J'étudie les langages formels et les systèmes de bases de production (systèmes de bases de règles) et je suis un peu confus quant à la raison pour laquelle ces deux mots "production" et "règle" signifient la même chose dans tant de contexte en informatique. En langue anglaise, ils ne semblent …
Demain c'est ma présentation et je veux clarifier mes concepts… J'ai lu que dans DFA, "Pour chaque état, la transition sur tous les symboles possibles (alphabet) devrait être définie." La définition de la transition sur tous les symboles possibles est-elle obligatoire pour chaque état dans DFA? Si ce n'est pas …
Je viens de commencer à lire sur la théorie du calcul. Si nous comparons ce qui est le plus puissant (en acceptant des chaînes), les deux sont identiques. Mais qu'en est-il de l'efficacité? DFA sera rapide par rapport à NFA, car il n'a qu'un seul bord sortant et il n'y …
L'objectif est de créer DFA à partir d'une expression régulière et l'utilisation de "Exp régulière> NFA> Conversion DFA" n'est pas une option. Comment faut-il s'y prendre? J'ai posé cette question à notre professeur mais il m'a dit que nous pouvions utiliser l'intuition et a gentiment refusé de fournir des explications. …
Dans l'image ci-dessous, j'essaie de comprendre exactement ce que cette NFA accepte. Ce qui me déroute, c'est le saut à .q 0ϵϵ\epsilonq0q0q_0 Si un est entré, le système passe-t-il à la fois à et (l'état d'acceptation)?q 0 q 1000q0q0q_0 q1q1q_1 Si un est entré, le système passe-t-il à la fois …
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 exponentiellement plus importants. J'ai …
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.