000 03045nam a22005535i 4500
001 978-88-470-5474-5
003 DE-He213
005 20140220082931.0
007 cr nn 008mamaa
008 131114s2013 it | s |||| 0|ita d
020 _a9788847054745
_9978-88-470-5474-5
024 7 _a10.1007/978-88-470-5474-5
_2doi
050 4 _aQA75.5-76.95
072 7 _aUY
_2bicssc
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aCOM031000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aLuca, Aldo.
_eauthor.
245 1 0 _aTeoria degli Automi Finiti
_h[electronic resource] /
_cby Aldo Luca, Flavio D’Alessandro.
264 1 _aMilano :
_bSpringer Milan :
_bImprint: Springer,
_c2013.
300 _aXI, 323 pagg.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aUNITEXT,
_x2038-5714 ;
_v68
505 0 _a1 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.
520 _aGli 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.
650 0 _aComputer science.
650 0 _aInformation theory.
650 0 _aMathematics.
650 0 _aCombinatorics.
650 1 4 _aComputer Science.
650 2 4 _aTheory of Computation.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aMath Applications in Computer Science.
650 2 4 _aDiscrete Mathematics.
650 2 4 _aCombinatorics.
650 2 4 _aApplications of Mathematics.
700 1 _aD’Alessandro, Flavio.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9788847054738
830 0 _aUNITEXT,
_x2038-5714 ;
_v68
856 4 0 _uhttp://dx.doi.org/10.1007/978-88-470-5474-5
912 _aZDB-2-SMA
999 _c99296
_d99296