Teoria abstracta a automatelor

Lucrare de licenta despre Teoria abstracta a automatelor
Din punctul de vedere al functionarii automatului intereseza doar acele stari interne care asigura automatului functii diferite de iesire . Intre starile interne ale unui automat exista si stari din care pornind automatul genereza functii identice pe iesire , adica exista stari ce determina o aceiasi functionare a automatului .O multime de astfel de stari , asigurand aceiasi comportare pe iesire a automatului , va fi inlocuita printr-o singura stare . Astfel , multimea starilor interne pa care trebuie sa le asigure un automat fiind mai mica si stuctura automatului va rezulta mai simpla .

Din aceasta cauza , in faza de proiectare , se impune eliminarea starilor ce determina aceeasi functionare pe iesirea automatului de realizat. Aceste stari redundante se numesc stari echivalente deoarece se afla intr-o relatie de echivalenta .O relatie de echivalenta pe o multime determina impartirea multimii in submultimi nevide disjuncte ce epuizeaza multimea , toate elementele unei submultimi fiind in relatie de echivalenta . Aceste submultimi , induse de o relatie de echivalenta , se numesc clase de echivalenta si constituie o partitie a multimii . Partitia unei multimi in clase de echivalenta are la baza urmatoarea :

Lucrare de licenta despre Teoria abstracta a automatelor

Lucrare de licenta despre Teoria abstracta a automatelor
Cuprins

Capitolul I. Automate.......................................3
1.1. Automate conxe...................................11
1.2. Echivalenta de stari.....................................13
1.3. Automate echivalente..........................................20
1.4. Automate incomplet definite....................................30

Capitolul II. Reprezentarea automatelor...............................31

Capitolul III. Compatibilitate...................................36

Capitolul IV. Partitii........................................42

Capitolul V. Interconectarea automatelor............................52

Capitolul VI. Arii logice programabile................................58