L'informatique finite-automata

5

Dans un DFA, chaque état a-t-il une transition sur chaque symbole de l'alphabet?

Sinon, qu'est-ce que cela signifie quand pour un état et un symbole , n'existe pas?a δ ( q , a )qqqaaaδ(q,a)δ(q,a)\delta(q, a)

12 terminology automata finite-automata

2

L'égalité de deux DFA est-elle un problème décidable?

Donc, étant donné deux DFA, le problème de trouver s'ils génèrent la même langue est-il un problème décidable? Je sais déjà que l'égalité de deux LFC n'est pas décidable mais qu'en est-il de l'égalité de deux DFA? étant donné que la plupart des problèmes avec les DFA sont décidables, est-ce …

11 computability automata finite-automata decision-problem

2

Pourquoi les machines de Turing à limites linéaires sont-elles plus puissantes que les automates à états finis?

J'avais l'impression que nos ordinateurs, étant finis, ne sont finalement pas plus puissants que les machines à états finis (extraordinairement grandes). Cependant, les machines de Turing linéairement délimitées sont également finies, mais il semble que les langues régulières soient strictement un sous-ensemble incorrect de langues contextuelles. De toute évidence, il …

11 finite-automata computation-models linear-bounded-automata

1

À quelle vitesse pouvons-nous décider si un DFA donné est minimal?

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

11 algorithms formal-languages finite-automata

4

Une FSA peut-elle compter?

Cela peut être une question stupide. Il semble clair qu'une FSA, étant finie, ne peut compter que le nombre de symboles dans sa chaîne d'entrée jusqu'à un nombre limité par le nombre de ses états. Mais supposons maintenant que nous équipons le FSA de capacités de sortie (par exemple, d'impression). …

11 automata finite-automata

1

Impossible de convertir NFA en DFA

J'ai un problème simple de créer un DFA qui accepte toutes les entrées commençant par des lettres doubles (aa, bb) ou se terminant par des lettres doubles (aa, bb), étant donné que est l'ensemble alphabétique du langue donnée.Σ = { a , b }Σ={une,b}\Sigma =\{a, b\} J'ai essayé de le …

11 automata finite-automata

1

Déduire les types de raffinement

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 …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Comment convertir un NFA avec des cycles qui se chevauchent en une expression régulière?

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 qui se chevauchent …

11 algorithms formal-languages finite-automata regular-expressions

2

DFA le plus petit qui accepte des chaînes données et rejette d'autres chaînes données

É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 d'exemples positifs. Chaque chaîne …

11 regular-languages automata finite-automata machine-learning

2

Est-ce que l'extension suivante des automates à états finis est étudiée?

Considérez une machine à états finis comme d'habitude, mais à chaque transition, elle peut également mettre à jour un compteur entier en ajoutant ou en soustrayant un nombre. Disons, une fonction de transition de la forme passe au nouvel état p et ajoute k au compteur, où k ∈ Z …

10 finite-automata

3

Comment puis-je vérifier qu'un DFA est équivalent à un NFA?

J'apprends à convertir des NFA en DFA et je veux m'assurer de bien faire les choses. Évidemment, revenir dans l'autre sens n'est pas une chose. Quelqu'un connaît-il un algorithme pour vérifier qu'un DFA est équivalent à un NFA?

10 automata finite-automata proof-techniques nondeterminism

1

Un analyseur Earley peut-il être transformé en un analyseur flou similaire au Levenshtein Automata Algo pour DFA?

Il existe un moyen d'effectuer une analyse floue (accepte les chaînes même avec des fautes de frappe à une certaine distance d'édition), avec un DFA et un automate Levenshtein construit au moment de l'exécution du mot d'entrée. Peut-on faire quelque chose de similaire avec un analyseur Earley? J'ai du mal …

10 algorithms context-free finite-automata parsers string-metrics

3

Algorithmes pour minimiser les automates de Moore

L'algorithme de Brzozowski peut être étendu aux automates de Moore mais sa complexité temporelle est exponentielle en général. Existe-t-il un autre algorithme pour minimiser les automates Moore? Quels sont les temps d'exécution de ces algorithmes, le cas échéant?

10 reference-request automata optimization finite-automata transducers

2

Méthode pour mesurer la «similitude» entre les grammaires FSA?

Je travaille avec un algorithme de correspondance de motifs qui génère un automate à états finis acyclique qui accepte une chaîne de texte donnée et toutes ses sous-chaînes. L'algorithme FSA est exécuté sur une représentation symbolique d'un flux musical (par exemple, des données MIDI). Le flux musical a été prétraité …

10 formal-languages reference-request finite-automata

4

Langue régulière non acceptée par DFA ayant au plus trois états

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 …

10 formal-languages regular-languages finite-automata pumping-lemma

Questions marquées «finite-automata»