La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] ))).
Un recente risultato caratterizza la classe PSPAZIO in termini di dimostrazioni interattive, una forma moderna del dialogosocratico. Fa uso della nozione di macchina di Turing probabilistica, nella quale le transizioni avvengono in modo casuale ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] ∧ z) ∨ (y ∧ z))).
Un recente risultato caratterizza la classe PSPAZIO in termini di dimostrazioni interattive, una sorta di dialogosocratico in forma moderna, che fa uso della nozione di macchina di Turing probabilistica nella quale le transizioni ...
Leggi Tutto
socratico
socràtico agg. e s. m. [dal lat. Socratǐcus, gr. Σωκρατικός] (pl. m. -ci). – Di Socrate, il filosofo ateniese del 4° sec. a. C.: il pensiero s., la dottrina s.; proprio dell’insegnamento di Socrate: metodo s., il metodo dialogico...
menippeo
menippèo agg. [dal lat. Menippēus, gr. Μενίππειος]. – Relativo allo scrittore e filosofo greco Menippo di Gàdara (sec. 3° a. C.): satira m. (anche come s. f., la menippea), la satira mista di mimo e di dialogo socratico, di prosa...