L'informatique automata

1

Puissance de calcul des automates à tas min déterministes et non déterministes

Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des …

15 formal-languages automata nondeterminism

2

Quelle est l'origine de λ pour une chaîne vide?

J'utilise habituellement le symbole pour une chaîne vide (mot vide ou chaîne nulle). Mais je sais que certaines personnes utilisent λ au lieu de ε .εε\varepsilonλλ\lambdaεε\varepsilon Je pense que est dérivé du mot "vide". Cependant, je ne sais pas quelle est l'origine de λ .εε\varepsilonλλ\lambda Dans la théorie des automates, …

14 formal-languages automata reference-request notation history

4

Push Automatons "suppose" - qu'est-ce que cela signifie?

Je me rends compte que les automates de refoulement non déterministes peuvent être une amélioration par rapport aux déterministes car ils peuvent "choisir" parmi plusieurs états et il existe des langages sans contexte qui ne peuvent pas être acceptés par un refoulement déterministe. Pourtant, je ne comprends pas exactement comment …

14 automata pushdown-automata nondeterminism

1

Logique monadique de second ordre pour les nuls

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 …

14 automata finite-automata logic coq automated-theorem-proving

2

Comment le mot «production» est-il devenu synonyme du mot «règle» dans le contexte de l'informatique?

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 …

13 formal-languages terminology automata finite-automata formal-grammars

3

Est-il obligatoire de définir des transitions sur chaque alphabet possible dans les automates finis déterministes?

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 …

13 automata finite-automata nondeterminism

3

Pourquoi l'opérateur étoile de Kleene est-il également appelé opérateur de «fermeture» de Kleene?

J'ai trouvé que si je ne comprends pas l'étymologie derrière un terme cs / programmation, cela signifie généralement que j'ai manqué ou mal compris un concept sous-jacent important. Je ne comprends pas pourquoi l'étoile Kleene est aussi appelée la fermeture Kleene. Est-ce lié aux fermetures de programmation, une fonction avec …

13 automata regular-expressions

1

Calcul de l'intersection de deux NPDA là où c'est possible

Apropois à la suggestion de Raphaël sur l' intersection de deux NPDA : Soit et A 2 NPDA pour les langues sans contexte L 1 et L 2 , respectivement. En supposant que nous savons que L = L 1 ∩ L 2 est sans contexte, pouvons-nous (effectivement) construire NPDA …

13 computability automata pushdown-automata

3

Pourquoi le problème d'arrêt est-il décidable pour LBA?

J'ai lu dans Wikipedia et dans quelques autres textes Le problème d'arrêt est décidable [...] pour les automates linéaires bornés (LBA) et les machines déterministes à mémoire finie. Mais plus tôt, il est écrit que le problème d'arrêt est un problème indécidable et donc TM ne peut pas le résoudre! …

13 turing-machines automata undecidability halting-problem linear-bounded-automata

4

Pont des théorèmes pour la théorie des groupes et les langages formels

Existe-t-il un moyen naturel ou notable de relier ou de lier des groupes mathématiques et des langages CS formels ou un autre concept CS fondamental, par exemple les machines de Turing? Je recherche des références / applications. Notez cependant que je suis conscient du lien entre les semigroupes et les …

13 formal-languages reference-request automata discrete-mathematics group-theory

1

Différence entre l'expression régulière et la grammaire dans les automates

Je suis nouveau dans les automates et je n'ai reçu une brève introduction aux expressions régulières qu'hier. J'ai lu les différentes règles qui définissent une expression régulière. Mais je suis incapable de faire la différence entre les expressions régulières et la grammaire d'une langue (on ne m'a pas appris la …

12 automata formal-grammars regular-expressions

3

Comment créer DFA à partir d'une expression régulière sans utiliser NFA?

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. …

12 automata finite-automata regular-expressions simulation

3

Comment un NFA utilise-t-il les transitions epsilon?

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 …

12 automata finite-automata nondeterminism

2

Les machines de Turing à bande unique avec entrée protégée en écriture reconnaissent uniquement les langues régulières

Voici le problème: Prouvez que les machines de Turing à bande unique qui ne peuvent pas écrire sur la partie de la bande contenant la chaîne d'entrée ne reconnaissent que les langues normales. Mon idée est de prouver que cette MT particulière est équivalente à un DFA. L'utilisation de cette …

12 formal-languages computability regular-languages turing-machines automata

3

Existe-t-il un test efficace pour savoir si un NFA accepte un sous-ensemble d'un autre NFA?

Donc, je sais que tester si un langage régulier RRR est un sous-ensemble du langage régulier SSS est décidable, car nous pouvons les convertir tous les deux en DFA, calculer R∩S¯R∩S¯R \cap \bar{S} , puis tester si ce langage est vide. Cependant, comme cela nécessite une conversion en DFA, il …

12 algorithms regular-languages automata np-complete decision-problem

Questions marquées «automata»