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 3 - GeneraCodice
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
È decidabile se una macchina Turing M raggiungerà lo stato Q sugli input S?
https://www.generacodice.com/it/articolo/1609368/e-decidabile-se-una-macchina-turing-m-raggiungera-lo-stato-q-sugli-input-s
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Dimostrare le lingue | l <m> | = 2 e | l <m> | $ not = $ 2 per non essere riconoscibili o non recursamente enumerabili
https://www.generacodice.com/it/articolo/1609164/dimostrare-le-lingue-l-m-2-e-l-m-not-2-per-non-essere-riconoscibili-o-non-recursamente-enumerabili
turing-machines
-
computability
-
semi-decidability
-
reductions
cs.stackexchange
Dimostrare l'arresto su tutti gli input non è in simulazione
https://www.generacodice.com/it/articolo/1607925/dimostrare-l-arresto-su-tutti-gli-input-non-e-in-simulazione
turing-machines
-
computability
-
simulation
-
proof-techniques
-
semi-decidability
cs.stackexchange
Rec e re sotto l'incrocio
https://www.generacodice.com/it/articolo/1607617/rec-e-re-sotto-l-incrocio
turing-machines
-
computability
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 173