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 [...] un importante teorema di Robert McNaughton, Janusz A. Brzozowski e Imre Simon, un linguaggio è localmente testabile dove ∧x≠ è il massimo intero contenuto in x. Si ha allora s=0f. Questa formula mostra che i simboli fn si possono interpretare come l ...
Leggi Tutto