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 67 - GeneraCodice
Quali proprietà dei linguaggi sensibili al contesto sono decidibili?
https://www.generacodice.com/it/articolo/1102798/quali-proprieta-dei-linguaggi-sensibili-al-contesto-sono-decidibili
formal-languages
-
undecidability
-
context-sensitive
cs.stackexchange
Qual è la differenza tra arresto, accettando, e decidere nel contesto delle macchine di Turing?
https://www.generacodice.com/it/articolo/1099253/qual-e-la-differenza-tra-arresto-accettando-e-decidere-nel-contesto-delle-macchine-di-turing
turing-machines
-
terminology
-
undecidability
cs.stackexchange
È decidibile se una TM raggiunge una certa posizione sul nastro?
https://www.generacodice.com/it/articolo/1098267/e-decidibile-se-una-tm-raggiunge-una-certa-posizione-sul-nastro
turing-machines
-
computability
-
undecidability
cs.stackexchange
È l'insieme di macchine di Turing che ferma al massimo 50 passaggi su tutti gli ingressi, decidibile?
https://www.generacodice.com/it/articolo/1098216/e-l-insieme-di-macchine-di-turing-che-ferma-al-massimo-50-passaggi-su-tutti-gli-ingressi-decidibile
computability
-
undecidability
cs.stackexchange
Per una macchina di Turing $ M_1 $, come è l'insieme di macchine $ M_2 $ che sono “più corto” di $ M_1 $ e che accettano la stessa decidibile lingua?
https://www.generacodice.com/it/articolo/1098193/per-una-macchina-di-turing-m-1-come-e-l-insieme-di-macchine-m-2-che-sono-piu-corto-di-m-1-e-che-accettano-la-stessa-decidibile-lingua
computability
-
undecidability
cs.stackexchange
Esempi di problemi indecidibili cui intersezione è decidibile
https://www.generacodice.com/it/articolo/1098007/esempi-di-problemi-indecidibili-cui-intersezione-e-decidibile
undecidability
-
reference-request
-
decision-problem
cs.stackexchange
Dimostrando che l'insieme di TM che visitano lo stato di base due volte sull'ingresso vuoto è indecidibile
https://www.generacodice.com/it/articolo/1098004/dimostrando-che-l-insieme-di-tm-che-visitano-lo-stato-di-base-due-volte-sull-ingresso-vuoto-e-indecidibile
turing-machines
-
halting-problem
-
undecidability
-
reductions
cs.stackexchange
Perplesso dal teorema di Rice
https://www.generacodice.com/it/articolo/1097746/perplesso-dal-teorema-di-rice
terminology
-
computability
-
undecidability
-
rice-theorem
cs.stackexchange
problemi semi-decidibili con lineari vincolati
https://www.generacodice.com/it/articolo/1097080/problemi-semi-decidibili-con-lineari-vincolati
computability
-
time-complexity
-
undecidability
cs.stackexchange
Perché l'assenza di surjection con il set di alimentazione non è sufficiente a dimostrare l'esistenza di un linguaggio indecidibile?
https://www.generacodice.com/it/articolo/1096307/perche-l-assenza-di-surjection-con-il-set-di-alimentazione-non-e-sufficiente-a-dimostrare-l-esistenza-di-un-linguaggio-indecidibile
computability
-
formal-languages
-
undecidability
cs.stackexchange
«
64
65
66
67
68
69
»
Risultati trovati: 685