TY  - BOOK
AU  - Luca,Aldo de
AU  - D’Alessandro,Flavio
ED  - SpringerLink (Online service)
TI  - Teoria degli Automi Finiti
T2  - UNITEXT,
SN  - 9788847054745
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2013///
CY  - Milano
PB  - Springer Milan, Imprint: Springer
KW  - Computer science
KW  - Computers
KW  - Mathematical logic
KW  - Mathematics
KW  - Applied mathematics
KW  - Engineering mathematics
KW  - Discrete mathematics
KW  - Combinatorics
KW  - Computer Science
KW  - Theory of Computation
KW  - Mathematical Logic and Formal Languages
KW  - Math Applications in Computer Science
KW  - Discrete Mathematics
KW  - Applications of Mathematics
N1  - 1 Teoria dei Semigruppi -- 2 Relazioni di Green -- 3 Semigruppi e monoidi liberi -- 4 Automi finiti -- 5 Equivalenza di automi -- 6 Espressioni razionali e Star-height -- 7 Relazioni razionali
N2  - Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle parti fondamentali dell’Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell’ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro è anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi è riportata alla fine del volume
UR  - http://dx.doi.org/10.1007/978-88-470-5474-5
ER  -