L'informatique automata

2

Compter le nombre de mots acceptés par un NFA acyclique

Laisser MMM être un NFA acyclique. Depuis MMM est acyclique, L(M)L(M)L(M) est fini. Pouvons-nous calculer |L(M)||L(M)||L(M)| en temps polynomial? Sinon, pouvons-nous l'approcher? Notez que le nombre de mots n'est pas le même que le nombre de chemins d'acceptation dans MMM, qui est facilement calculable. Permettez-moi de mentionner une approche évidente …

8 formal-languages automata finite-automata nondeterminism counting

3

Démontrer que DPDA est fermé sous complément par construction

J'essaie depuis un certain temps de trouver une construction afin de pouvoir démontrer formellement qu'un PDA déterministe est fermé sous complémentation. Cependant, il arrive que chaque idée que j'ai a quelque chose qui ne correspond pas à la fin. Pourriez-vous me donner un coup de main? Le principal problème se …

8 formal-languages automata closure-properties pushdown-automata

1

Papier avec preuve que

Ces diapositives de cours esquissent une preuve queL = {unenbn∣ n ≥ 0 } ∪ {unenb2 n∣ n ≥ 0 }L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} ne peut être accepté par aucun automate déterministe à refoulement. Malheureusement, les diapositives …

8 formal-languages reference-request automata pushdown-automata nondeterminism

1

Le problème de l'univers pour les automates à guichet unique avec une taille d'alphabet restreinte est-il indécidable?

Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est …

8 formal-languages reference-request automata undecidability decision-problem

3

Un algorithme pour réduire un DFA en introduisant du non-déterminisme?

C'est quelque peu lié à une autre question que j'ai posée , mais je pense qu'elle est suffisamment différente pour justifier sa propre question. Je fais des recherches où j'essaie de trouver la structure des compléments d'une certaine classe de langages finis. Il est facile pour moi d'obtenir les DFA …

8 formal-languages automata finite-automata discrete-mathematics nondeterminism

4

Notre PC fonctionne-t-il comme machine de Turing?

Notre PC fonctionne-t-il comme machine de Turing? Le modèle d'une machine de Turing se compose d'une bande mémoire infinie, ce qui signifie des états infinis. Mais supposons que si notre PC a 128 Mo de mémoire et 30 Go de disque, il aurait 256 ^ 30128000000 états et donc, il …

8 complexity-theory computability turing-machines automata

1

Existe-t-il un langage à compteur unique strictement non déterministe dont le complément est à compteur unique?

Soit A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} En clair,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Est-ce le cas que ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Je sais que pour les langues sans …

8 formal-languages automata closure-properties pushdown-automata

6

Application pratique des machines à états finis

Je recherche des applications pratiques des machines à états finis comme les machines DFA, NFA, Moore, Mealy ... Il serait utile que quelqu'un pointe vers des exemples du noyau Linux. Je sais que DFA est utilisé dans la correspondance de chaînes comme l'algorithme KMP. Quelle est la signification des machines …

8 reference-request automata finite-automata

2

Comment puis-je montrer que si un PDA accepte une chaîne

Comment puis-je montrer que le problème de décider si un PDA accepte une chaîne du formulaire { w! w ∣ w ∈ { 0 , 1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} est indécidable? J'ai essayé de réduire ce problème à un autre indécidable, par exemple si deux …

8 formal-languages automata context-free undecidability pushdown-automata

1

Problème avec l'implémentation de l'algorithme de Brzozowski

J'ai essayé d'implémenter l'algorithme de Brzozowski mais je viens de découvrir qu'il crée des automates sous-optimaux pour une certaine classe d'entrées, ayant un état de plus que ce qui est vraiment nécessaire dans le résultat. Je peux le montrer sur un automate trivial: a b a b a b a …

8 algorithms automata finite-automata

1

Prouver la fermeture sous complémentation des langues acceptées par les automates à tas min

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 …

8 formal-languages automata closure-properties

Questions marquées «automata»