Calcolabilità, modelli di calcolo, complessità, linguaggi formali.
-
-
Teoria
Domande di teoria, mini-dispense degli utenti, richieste di riferimenti ad articoli, ...
- 1 Argomenti
- 2 Messaggi
-
Ultimo messaggio da Nihilus
il dom 22 dic 2013, 12:32
-
- Completamenti calcolabili di funzioni incalcolabili
da Nihilus il mar 20 gen 2015, 17:25
- 2 Risposte
- 7544 Visite
- Ultimo messaggio da Nihilus
il dom 1 feb 2015, 12:56
-
- Sottoinsiemi ricorsivi di insiemi ricorsivamente enumerabili
da Nihilus il mar 20 gen 2015, 17:18
- 2 Risposte
- 3464 Visite
- Ultimo messaggio da Nihilus
il mer 21 gen 2015, 0:09
-
- Il Principio di Riduzione
da Nihilus il mar 20 gen 2015, 17:31
- 0 Risposte
- 3154 Visite
- Ultimo messaggio da Nihilus
il mar 20 gen 2015, 17:31
-
- A bizzarre fixed point combinator
da Nihilus il lun 19 mag 2014, 14:49
- 0 Risposte
- 3678 Visite
- Ultimo messaggio da Nihilus
il lun 19 mag 2014, 14:49
-
- Dalla ricorsione alla iterazione
da francesco il mar 20 gen 2009, 20:36
- 2 Risposte
- 5663 Visite
- Ultimo messaggio da Nihilus
il mer 14 mag 2014, 11:44
-
- Insieme non R.E.
da otacon7b il dom 14 dic 2008, 13:13
- 3 Risposte
- 5745 Visite
- Ultimo messaggio da Nihilus
il dom 26 gen 2014, 23:05
-
- Le parole non doppie sono CF
da marco il mer 19 set 2012, 20:01
- 1 Risposte
- 4316 Visite
- Ultimo messaggio da vl4d
il gio 10 ott 2013, 21:01
-
- Automi a pila con un solo stato
da gianni80 il mar 30 ott 2012, 21:52
- 0 Risposte
- 4123 Visite
- Ultimo messaggio da gianni80
il mar 30 ott 2012, 21:52
-
- half(L) è regolare
da marco il mer 19 set 2012, 19:57
- 0 Risposte
- 3532 Visite
- Ultimo messaggio da marco
il mer 19 set 2012, 19:57
-
- Da stringa a numero tramite conversione di base
da alfo82 il dom 17 ott 2010, 14:09
- 1 Risposte
- 5932 Visite
- Ultimo messaggio da vict85
il dom 17 ott 2010, 14:40
-
- Regolare su ?={0} sse unione finita di insiemi del tipo [tex]\{ 0^{a_k+b_kn} \mid n \in \mathbb N \}[/tex]
da marco il ven 10 lug 2009, 9:03
- 0 Risposte
- 4327 Visite
- Ultimo messaggio da marco
il ven 10 lug 2009, 9:03
Torna a Indice
Visitano il forum: Nessuno e 1 ospite
Permessi forum
Non puoi aprire nuovi argomenti
Non puoi rispondere negli argomenti
Non puoi modificare i tuoi messaggi
Non puoi cancellare i tuoi messaggi
Non puoi inviare allegati