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 4 - GeneraCodice
È 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
Come faccio a costruire un NTM che accetta il linguaggio costituito dalla codifica delle macchine Turing che si fermano su un input?
https://www.generacodice.com/it/articolo/1606880/come-faccio-a-costruire-un-ntm-che-accetta-il-linguaggio-costituito-dalla-codifica-delle-macchine-turing-che-si-fermano-su-un-input
turing-machines
-
nondeterminism
-
semi-decidability
cs.stackexchange
Il teorema del riso-Shapiro è bidirezionale?
https://www.generacodice.com/it/articolo/1606871/il-teorema-del-riso-shapiro-e-bidirezionale
computability
-
semi-decidability
cs.stackexchange
L'insieme di grammatiche libere del contesto che generano tutte le parole in Co-Re?
https://www.generacodice.com/it/articolo/1605803/l-insieme-di-grammatiche-libere-del-contesto-che-generano-tutte-le-parole-in-co-re
turing-machines
-
formal-languages
-
context-free
-
semi-decidability
cs.stackexchange
Se il linguaggio di tutte le macchine Turing sia decidabile o indecidibile o semi-decidabile?
https://www.generacodice.com/it/articolo/1605233/se-il-linguaggio-di-tutte-le-macchine-turing-sia-decidabile-o-indecidibile-o-semi-decidabile
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Dimostrare un set è semi-decidibile
https://www.generacodice.com/it/articolo/1604256/dimostrare-un-set-e-semi-decidibile
turing-machines
-
semi-decidability
cs.stackexchange
Determinare se le lingue fornite sono regolari o ricorsivamente
https://www.generacodice.com/it/articolo/1601274/determinare-se-le-lingue-fornite-sono-regolari-o-ricorsivamente
formal-languages
-
undecidability
-
regular-languages
-
semi-decidability
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 173