Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag undecidability - Questa è pagina 65 - GeneraCodice
problema decisionale e l'algoritmo
https://www.generacodice.com/it/articolo/1112152/problema-decisionale-e-l-algoritmo
turing-machines
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
È la funzione indecidibile $ UC $ ben definito per dimostrare l'indecidibilità di arrestare problema?
https://www.generacodice.com/it/articolo/1112149/e-la-funzione-indecidibile-uc-ben-definito-per-dimostrare-l-indecidibilita-di-arrestare-problema
computability
-
halting-problem
-
undecidability
-
proof-techniques
cs.stackexchange
È l'intersezione di due linguaggi regolari regolare?
https://www.generacodice.com/it/articolo/1111464/e-l-intersezione-di-due-linguaggi-regolari-regolare
undecidability
-
regular-languages
-
decision-problem
cs.stackexchange
Indecidibilità delle seguenti lingue
https://www.generacodice.com/it/articolo/1111014/indecidibilita-delle-seguenti-lingue
turing-machines
-
undecidability
cs.stackexchange
Solvibilità di macchine di Turing
https://www.generacodice.com/it/articolo/1110921/solvibilita-di-macchine-di-turing
turing-machines
-
undecidability
cs.stackexchange
Mostrando i = funzione? è impossibile
https://www.generacodice.com/it/articolo/1110090/mostrando-i-funzione-e-impossibile
lambda-calculus
-
halting-problem
-
undecidability
cs.stackexchange
Come posso mostrare che se un PDA accetta qualche stringa $ \ {w! W \ mid w \ in \ {0, 1 \} ^ * \} $ è indecidibile?
https://www.generacodice.com/it/articolo/1109493/come-posso-mostrare-che-se-un-pda-accetta-qualche-stringa-w-w-mid-w-in-0-1-e-indecidibile
automata
-
formal-languages
-
undecidability
-
pushdown-automata
-
context-free
cs.stackexchange
Perché $ A_ \ text {TM} \ le_m \ text {} ARRESTARE \ le_m \ text {} ^ ARRESTARE \ varepsilon $?
https://www.generacodice.com/it/articolo/1108714/perche-a-text-tm-le-m-text-arrestare-le-m-text-arrestare-varepsilon
turing-machines
-
halting-problem
-
undecidability
-
reductions
cs.stackexchange
Riduzione del A_LBA a E_LBA
https://www.generacodice.com/it/articolo/1108619/riduzione-del-a-lba-a-e-lba
turing-machines
-
computability
-
undecidability
-
reductions
cs.stackexchange
La logica del primo ordine Arity definisce la decidibilità?
https://www.generacodice.com/it/articolo/1108570/la-logica-del-primo-ordine-arity-definisce-la-decidibilita
logic
-
satisfiability
-
first-order-logic
-
undecidability
-
reference-request
cs.stackexchange
«
62
63
64
65
66
67
»
Risultati trovati: 685