enumerabileenumeràbile [agg. Der. del lat. numerus "numero"] [ALG] Insieme e.: insieme per cui esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra i suoi elementi e i numeri [...] naturali. ◆ [ALG] [INF] Insiemericorsivamente e.: v. automi, teoria degli: I 332 c. ...
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 [...] J. Cannon. Un gruppo si dice automatico se si può rappresentare come un insieme R di parole su un alfabeto A, in modo che per ogni a∈ macchina di Turing si dice ricorsivamenteenumerabile; se è ricorsivamenteenumerabile anche il suo complementare, il ...
Leggi Tutto