Questions marquées «automata-theory»

Théorie des automates, y compris les machines abstraites, les grammaires, l'analyse syntaxique, l'inférence grammaticale, les transducteurs et les techniques à états finis

4
Intersection DFA dans l'espace sub-quadratique?
L'intersection de deux DFA (minimes) avec n états peut être calculée en utilisant O (n 2 ) temps et espace. Ceci est optimal en général, car le DFA résultant (minimal) peut avoir n 2 états. Cependant, si le DFA minimal résultant a z états, où z = O (n), peut-il …

1
complexité de la demi-langue
Pour toute langue sur , définissez En d'autres termes, constituée de tous pour lesquels il existe un de longueur égale de telle sorte que .LLLΣ∗Σ∗\Sigma^*L1 / 2= { x ∈ Σ∗: x y∈ L , y∈ Σ| x |} .L1/2={X∈Σ∗:Xy∈L,y∈Σ|X|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1 / …




2
Tester si les lettres peuvent être programmées pour obtenir un mot dans une langue régulière
Je fixe un langage régulier sur un alphabet , et je considère le problème suivant que j'appelle la planification de la lettre pour . De manière informelle, l'entrée me donne lettres et un intervalle pour chaque lettre (c'est-à-dire une position minimale et maximale), et mon objectif est de placer chaque …





1
Conjecture sur les automates à deux compteurs
Je voudrais prouver (ou réfuter) la conjecture suivante: Conjecture : un automate à deux compteurs (2CA) ne peut pas décider de la langue suivante: les représentations ternaire et binaire de n ont à la fois une longueur paire ou une longueur impaire }L = { n ∣L={n∣L = \{ n …




4
Où se situent la plupart des implémentations REGEX sur l'échelle de complexité?
La plupart des implémentations modernes d'expressions régulières, telles que celles en perl ou .NET, vont au-delà de la définition informatique classique des REGEX avec des fonctionnalités comme lookahead et lookbehind. Ces fonctionnalités leur permettent-elles d'analyser des instructions qui ne peuvent pas être décrites avec un automate fini et non pushdown? …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.