Deutsch
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Vollständige Artikel
Kategorien
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Du schreibst
Benutzer
Anmeldung
Anmeldung
Passwort-Wiederherstellung
Stichworte
Sprachtags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag undecidability - Dies ist Seite 1 - GeneraCodice
Cannot understand reductions from the halting problem and its complement
https://www.generacodice.com/de/articolo/2477097/cannot-understand-reductions-from-the-halting-problem-and-its-complement
turing-machines
-
undecidability
cs.stackexchange
Ist diese Sprache entschieden?
https://www.generacodice.com/de/articolo/2477036/ist-diese-sprache-entschieden
turing-machines
-
undecidability
cs.stackexchange
Ist $ \ {w ~ | \ \ forall x \ in t (m_v): | W |> | x | ~ \} $ entschieden?
https://www.generacodice.com/de/articolo/2475207/ist-w-forall-x-in-t-m-v-w-x-entschieden
undecidability
-
semi-decidability
-
decision-problem
cs.stackexchange
Union of every language within group of decidable languages is also decidable?
https://www.generacodice.com/de/articolo/2475172/union-of-every-language-within-group-of-decidable-languages-is-also-decidable
halting-problem
-
undecidability
-
finite-sets
cs.stackexchange
Warum ist die folgende Sprache unentscheidbar?
https://www.generacodice.com/de/articolo/2475052/warum-ist-die-folgende-sprache-unentscheidbar
turing-machines
-
undecidability
-
rice-theorem
cs.stackexchange
Ist das Problem, das bestimmt, wann immer das Wort-Mitglied $ \ in $ l (m) entgreift oder nicht?
https://www.generacodice.com/de/articolo/2474814/ist-das-problem-das-bestimmt-wann-immer-das-wort-mitglied-in-l-m-entgreift-oder-nicht
turing-machines
-
formal-languages
-
undecidability
-
decision-problem
cs.stackexchange
Ist das Post-Korrespondenzproblem mit mehr als zwei Zeilen härter als die Standard-Standard-Variante von zweireihiger?
https://www.generacodice.com/de/articolo/2473581/ist-das-post-korrespondenzproblem-mit-mehr-als-zwei-zeilen-haerter-als-die-standard-standard-variante-von-zweireihiger
undecidability
cs.stackexchange
Proof of the undecidability of compiler code optimization
https://www.generacodice.com/de/articolo/2473423/proof-of-the-undecidability-of-compiler-code-optimization
undecidability
-
compilers
cs.stackexchange
Welche unentschiedenswerte Sprache $ B $ ist für seine Ergänzung reduzierbar?
https://www.generacodice.com/de/articolo/2472961/welche-unentschiedenswerte-sprache-b-ist-fuer-seine-ergaenzung-reduzierbar
turing-machines
-
undecidability
-
reductions
cs.stackexchange
Ist die Sprache l= {<m>, m akzeptiert eine endliche Menge an Wörtern} entschieden?</m>
https://www.generacodice.com/de/articolo/2472944/ist-die-sprache-l-m-m-akzeptiert-eine-endliche-menge-an-woertern-entschieden-m
turing-machines
-
undecidability
-
church-turing-thesis
cs.stackexchange
«
1
2
3
4
5
6
»
Gefundene Ergebnisse: 685