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 semi-decidability - Questa è pagina 2 - GeneraCodice
Ingressi non fermi "problematici" per le macchine per la tentazione
https://www.generacodice.com/it/articolo/2467252/ingressi-non-fermi-problematici-per-le-macchine-per-la-tentazione
turing-machines
-
semi-decidability
cs.stackexchange
Sta raggiungendo in meno linee semi-decidabili?
https://www.generacodice.com/it/articolo/2466883/sta-raggiungendo-in-meno-linee-semi-decidabili
turing-machines
-
semi-decidability
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/it/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
Is it possible that the subtraction between two undecidable languages is regular?
https://www.generacodice.com/it/articolo/1810854/is-it-possible-that-the-subtraction-between-two-undecidable-languages-is-regular
turing-machines
-
undecidability
-
regular-languages
-
semi-decidability
cs.stackexchange
Decidibilità del linguaggio di tutti i LBA deterministici in cui tutti gli stati sono raggiungibili
https://www.generacodice.com/it/articolo/1620653/decidibilita-del-linguaggio-di-tutti-i-lba-deterministici-in-cui-tutti-gli-stati-sono-raggiungibili
formal-languages
-
semi-decidability
-
linear-bounded-automata
cs.stackexchange
Decidibilità dei problemi di decisione
https://www.generacodice.com/it/articolo/1616752/decidibilita-dei-problemi-di-decisione
turing-machines
-
undecidability
-
semi-decidability
-
decision-problem
-
rice-theorem
cs.stackexchange
Turing Machine Equivalence in Mintm Proof
https://www.generacodice.com/it/articolo/1615215/turing-machine-equivalence-in-mintm-proof
recursion
-
turing-machines
-
semi-decidability
cs.stackexchange
Una lingua la cui macchina Turing non si ferma per alcuni casi positivi, ma per altri non ricorsiva?
https://www.generacodice.com/it/articolo/1615048/una-lingua-la-cui-macchina-turing-non-si-ferma-per-alcuni-casi-positivi-ma-per-altri-non-ricorsiva
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
È $ l = {a^n | a^n not in l_n } $ turing riconoscibile (ricorsivamente enumerabile)?
https://www.generacodice.com/it/articolo/1613715/e-l-a-n-a-n-not-in-l-n-turing-riconoscibile-ricorsivamente-enumerabile
turing-machines
-
undecidability
-
semi-decidability
cs.stackexchange
Domanda della macchina riconoscibile Turing (rifiuto / loop)
https://www.generacodice.com/it/articolo/1613567/domanda-della-macchina-riconoscibile-turing-rifiuto-loop
turing-machines
-
semi-decidability
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 173