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 8 - GeneraCodice
Come posso applicare il teorema del riso?
https://www.generacodice.com/it/articolo/2448280/come-posso-applicare-il-teorema-del-riso
undecidability
-
rice-theorem
cs.stackexchange
La lingua vuota è l= ∅ un sottoinsieme di ogni lingua?
https://www.generacodice.com/it/articolo/2446142/la-lingua-vuota-e-l-un-sottoinsieme-di-ogni-lingua
halting-problem
-
undecidability
cs.stackexchange
Dimostra che la classe dei linguaggi CFG che sono chiusi sotto l'inversione non è rilevabile
https://www.generacodice.com/it/articolo/2446077/dimostra-che-la-classe-dei-linguaggi-cfg-che-sono-chiusi-sotto-l-inversione-non-e-rilevabile
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
Un caso speciale di somma sottoinsieme
https://www.generacodice.com/it/articolo/2445185/un-caso-speciale-di-somma-sottoinsieme
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
È decidabile se una determinata macchina di tentazione sposta la testa più di 481 celle lontano dal marker di sinistra, su input ε?
https://www.generacodice.com/it/articolo/2444820/e-decidabile-se-una-determinata-macchina-di-tentazione-sposta-la-testa-piu-di-481-celle-lontano-dal-marker-di-sinistra-su-input-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
Sta controllando se la lunghezza di un programma C che può generare una stringa è inferiore a un dato numero decidabile?
https://www.generacodice.com/it/articolo/2443763/sta-controllando-se-la-lunghezza-di-un-programma-c-che-puo-generare-una-stringa-e-inferiore-a-un-dato-numero-decidabile
computability
-
halting-problem
-
undecidability
cs.stackexchange
È il problema di decidere se due programmi hanno la stessa semantica decidabile?
https://www.generacodice.com/it/articolo/2442581/e-il-problema-di-decidere-se-due-programmi-hanno-la-stessa-semantica-decidabile
semantics
-
undecidability
-
decision-problem
cs.stackexchange
TM decidable or undecidable problem
https://www.generacodice.com/it/articolo/2442421/tm-decidable-or-undecidable-problem
turing-machines
-
undecidability
-
decision-problem
cs.stackexchange
Perché non possiamo dimostrare la decidabilità di $ L={\ Langle m \ Rangle: m $ accetta $ \ Epsilon \} $ con un grafico di configurazioni?
https://www.generacodice.com/it/articolo/2441982/perche-non-possiamo-dimostrare-la-decidabilita-di-l-langle-m-rangle-m-accetta-epsilon-con-un-grafico-di-configurazioni
turing-machines
-
computability
-
undecidability
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
«
5
6
7
8
9
10
»
Risultati trovati: 685