L'informatique nondeterminism

1

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

Pourquoi cette fonction est-elle calculable en temps

Mon manuel dit: "Nous définissons la fonction comme suit: f ( 1 ) = 2 et f ( i + 1 ) = 2 f ( i ) 1.2 . Notez que étant donné n , nous pouvons facilement trouver dans O ( n 1,5 ) fois le nombre i …

10 complexity-theory algorithm-analysis nondeterminism

1

Automates finis non déterministes | Exemple Sipser 1.16

Je travaille sur le livre Sipser (2e édition) et suis tombé sur cet exemple, que je ne comprends pas. Dans le livre, il indique que ce NFA accepte la chaîne vide,ϵϵ\epsilon. Quelqu'un pourrait-il m'expliquer pourquoi c'est le cas? Ma compréhension est que ϵϵ\epsilon se déplacera vers q3q3q_3 qui n'est pas …

9 regular-languages finite-automata nondeterminism

1

Le non-déterminisme dans une machine de turing non déterministe est-il différent de celui des automates finis et des automates push down?

Soit une chaîne d'entrée donnée comme . Ensuite, si un NFA est actuellement dans l'état (et a lu l'entrée jusqu'à l'alphabet ), puis avant de lire le symbole d'entrée suivant, le NFA se divise en deux NFA, l'un étant dans l'état r et l'autre dans s , s'il y a …

9 turing-machines finite-automata pushdown-automata computation-models nondeterminism

4

Mots ayant le même produit associatif droit et gauche

J'ai commencé à étudier les automates non déterministes en utilisant le livre de Hopcroft et Ullman . Je suis coincé dans un problème que j'ai trouvé très intéressant: Donnez un automate fini non déterministe acceptant toutes les chaînes qui ont la même valeur lorsqu'elles sont évaluées de gauche à droite …

9 formal-languages automata regular-languages finite-automata nondeterminism

1

Une preuve de fermeture incorrecte sous le fonctionnement en étoile utilisant NFA entraîne la reconnaissance par NFA de chaînes indésirables?

Je lis actuellement le livre Introduction à la théorie du calcul (2e ou 3e éd.) De Michael Sipser , et je suis tombé sur une question du chapitre 1 - Langues régulières , à savoir lorsque l'auteur présente l'idée de preuve du théorème 1.49 - "La classe des langues régulières …

8 regular-languages automata finite-automata nondeterminism

1

Les DCFL sont-ils fermés en cas d'annulation?

Selon ce graphique , les DCFL sont fermés sous inversion. Cependant, je ne suis pas convaincu que la preuve intuitive (inversant les flèches de la machine à états finis contrôlant et commutant les poussées et les pops) pour cela semble dépendre du non-déterminisme dans le choix de la transition nulle …

8 formal-languages context-free closure-properties pushdown-automata nondeterminism

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

Pourquoi la plupart des scientifiques croient-ils que P ≠ NP?

J'ai lu que la plupart des scientifiques ne croient pas que P = NP. Cela peut être subjectif mais pouvez-vous simplifier pourquoi pas? Je ne suis pas suffisamment informé pour avoir une opinion mais j'aimerais connaître les définitions et une explication "assez simple" pourquoi croire à l'un ou l'autre cas, …

8 nondeterminism polynomial-time

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

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

2

Pourquoi exige-t-on souvent une constructibilité de l'espace dans le théorème de Savitch?

Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la preuve. Mais aucune …

8 complexity-theory space-complexity complexity-classes nondeterminism

2

Quel est l'état de l'art de la recherche encapsulée dans la programmation logique fonctionnelle?

Je suis particulièrement intéressé par les solutions au problème que la recherche encapsulée peut dépendre de l'ordre d'évaluation. Selon [1], la recherche encapsulée dans PAKCS dépend de l'ordre d'évaluation, tandis que dans MCC, elle ne le fait pas, mais son utilisation nécessite la connaissance de l'implémentation du compilateur et elle …

8 reference-request functional-programming nondeterminism logic-programming

Questions marquées «nondeterminism»