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 5 - GeneraCodice
Entwässerung von Turing-Maschinen, die ihren Kopf niemals an jeder Eingabezeichenfolge verschieben
https://www.generacodice.com/de/articolo/2465509/entwaesserung-von-turing-maschinen-die-ihren-kopf-niemals-an-jeder-eingabezeichenfolge-verschieben
turing-machines
-
computability
-
undecidability
cs.stackexchange
Entwässerlichkeit der Gleichheit und der Gläubigkeit der Ausdrücke mit elementarer Arithmetik und Exponentials
https://www.generacodice.com/de/articolo/2465430/entwaesserlichkeit-der-gleichheit-und-der-glaeubigkeit-der-ausdruecke-mit-elementarer-arithmetik-und-exponentials
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
Halten der Problemtheorie vs. Praxis
https://www.generacodice.com/de/articolo/2464468/halten-der-problemtheorie-vs-praxis
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/de/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
Wie könnten Sie das Stoßproblem "lösen", wenn die belebten Beaver-Zahlen hypothetisch "klein" waren?
https://www.generacodice.com/de/articolo/2462542/wie-koennten-sie-das-stossproblem-loesen-wenn-die-belebten-beaver-zahlen-hypothetisch-klein-waren
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Unterschied zwischen regulärer Grammatik und CFG beim Generieren von Berechnungsgeschichten und $ \ Sigma ^ * $
https://www.generacodice.com/de/articolo/2459293/unterschied-zwischen-regulaerer-grammatik-und-cfg-beim-generieren-von-berechnungsgeschichten-und-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/de/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
Stoppen Sie das Problem für die feste Turierungsmaschine und einen festen Eingang
https://www.generacodice.com/de/articolo/2457906/stoppen-sie-das-problem-fuer-die-feste-turierungsmaschine-und-einen-festen-eingang
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
zeigen, dass dieses entgierbare Set $ C $ vorhanden ist
https://www.generacodice.com/de/articolo/2454714/zeigen-dass-dieses-entgierbare-set-c-vorhanden-ist
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/de/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
«
2
3
4
5
6
7
»
Gefundene Ergebnisse: 685