Masini cu stadiu fnit

MSF, cunoscute si ca ASF, simplifcate sunt modele ale comportamentelor unui sistem
sau a unui obiect complex, cu un numar limitat de conditii defnite sau moduri, unde
tranzitiile de mod se schimba in functie de circumstante.
MSFurile consista din 4 elemente principale
- stadii ce ddefnesc comportament si pot produce actiuni
- tranzitii de stadiu care sunt mutari de la un satdiu la altul
- reguli sau conditii ce trebuie intrunite pentru a permite tranzitia de stadiu
- evenimente de intrari de date care sunt generate fe extern sau intern, ce pot
declansa reguli si conduce la tranzitii de stadiu
n MSF trebuie sa aiba o stare initiala care furnizeaza un punct de inceput, si o satre
curenta ce memoreaza rezultatul ultimei tranzitii de stadiu. !venimentele de primire de
date actioneaza ca declansatoare, care cauzeaza evaluarea unui fel de reguli care
guverneaza tranzitiile din stadiul curent spre altul. "el mai bun mod de a vizualiza un
MSF este a-l imagina ca un grafc sau un grafc directionat de stadii, totusi cum va f
prezentat # exista tehnici abstracte de modelare mai precise care pot f folosite.
MSF este de obicei folosit ca un tip de sistem de control unde informatia este
reprezentata in stadii, iar actiunile sun restrictionate de reguli.
$...unul dintre cele mai fascinante lucruri la MSFuri este ca chiar aceleasi tehnici de
modelare pot f folosite pentru proiectarea programelor in VB, circuitelor logice sau a
microcontrolerelor. Multe cipuri de computere si microprocesoare au la baza un MSF.
MSFurile sunt o tehnica adoptata de inteligenta artifciala care are orginile in
matematica, initial folosite pentru reprezentarea limba%ului. !ste in stransa legatura cu
alte reprezentari funadamentale ale cunoasterii ce merita mentionate, ca retele
semantice si o extensie extensie a retelei semantice numita spatiu de stadiu.
&etele semantice au fost propuse sa reprezinte intelesul si relatiile cuvintelor engleze.
n grafc este construit unde nodurile reprezinta concepte si marginile relatiile. Spatiul
stadiu este o extensie a a ideii de retea semantica, unde un nod denota un stadiu valid si
marginile tranzitii intre stadii. Spatiul stadiu, spre deosebire de MSF, cere ambele stadii,
initial si de scop, si este de obicei folosit in domeniile de rezolvare de probleme unde o
secventa de actiuni este necesara pentru rezolvarea problemei generale 'secventa de la
stadiul initial la cel de scop(. "a MSF, spatiul stadiu are reguli ce constrang tranzitiile de
stadiu, si sunt declansate de evenimente de intrari de date.
"a orice sistem bazat pe reguli, daca antecedentul '-ele( unei reguli este adevarat,
atunci regula este declansata. !ste posbil ca mai multe reguli sa fe declansate, iar in
cazul sistemelor care rationeaza, asta se numeste set de con)ict. *oate f doar o
tranzitie de la stadiul curent, asa ca o strategie consistenta de rezolutie este necesara
pentru a selecta doar una dintre regulile declansate si prin urmare sa se execute
tranzitia de la stadiu.
Aceasta ne aduce in discutie dou tipuri principale de MSF. MSFul simplu original este
cunoscut ca deterministic, insemnand ca find date niste date de intrare si stadiul curent,
tranzitia de stadiu poate f prevazuta. + extensie a conceptului de la capatul opus este
un MSF ne-deterministic. Aici cunonsandu-se stadiul curent tranzitia stadiului nu este
predictibila. *oate f cazul in care multiple date de intrare sunt primite in momente
diferite ce inseamna ca tranzitia de la satdiul curent la altul nu poate f cunoscuta pana
cand datele intrate sun primite.
+ implementare a MSFului deterministic poate consta in actionarea primei reguli
declansate. *oate f ideal pentru multe domenii de probleme, dar pentru %ocuri de
calculator, comportamentul usor predictibil nu este o trasatura dorita pentru ca tinde sa
elimine factorul de amuzament din %oc.
un ucator se simte ca si cum ar uca impotri!a unei simulari realistice a inteligentei,
si nu impotri!a unei sec!ente de actiuni.
Secventa ce este avanta%ul cheie al MSFului nu ar trebui sa fe foarte evidenta in %ocuri.
!xista un numar de extensii ale MSFului si modifcari pentru amestecarea secventei
pentru a f mai greu de prevazut actiunile. na dintre aceste abordari ne-deterministice
implica aplicarea unei alte tehnici de inteligenta artifciala dovedite, Fuzz- .ogic, numita
Masina cu Stadiu /eclar 'MS/(.
.a fel ca MSFurile exista multa )exibilitate in implementarea unui MS/. + valoare
neclara poate f aplicata unor tranzitii de stadiu diferite. "and un set de con)ict este
intalnit, cu cat este mai mare valoarea neclara pentru o tranzitie cu atat este mai mare
posibilitatea trnazitiei stadiului. Aceasta permite specifcarea prioritatii unei valori
neclare pentru tranzitia de stadiu.
+ implementare a MS/ poate implica desemnarea valorilor neclare unor intrari de date
diferite pentru a indica gradul de defnire a intrarii de date. Sistemul neclar ar folosi
valorile cantarite in evaluarea regulilor, declansand doar tranzitii de stadiu ale caror
valori sunt peste o limita specifcata.
+ alta abordare pentru transformarea unui MSF deterministic intr-unul ne-determinisric
ar f doar folosirea unui generator de numere aleatorii pentru alegerea unei reguli
declansate. Ar putea sa nu fe necesar sa se implementeze un MSF cu un nivel de
impredicitibilitate. Acesta poate f dobandit de un sistem sau obiect care are un numar
mare de stadii defnite sai o retea complexa de tranzitii, oferind aparenta de
impredictibilitate.
!ste important de inteles diferenta dintre un stadiu si o actiune. "and se proiecteaza un
program de calculator, functionalitati mai mari sunt descompuse intr-un numar de
actiuni sau activitati mai mici. Se procedeaza astfel pentru ca fecare sa fe defnita intr-o
functie, facand solutia generala modulara, mai usor de depanat. MSF este asemanator
referitor la faptul ca este o descompunere de comportamente ale unui sistem sau obiect,
si chiar un stadiu poate f descompus in sub-stadii. 0iferenta este ca un stadiu implica
una sau mai multe actiuni.
!xemplu 1, o actiune misca"nitate#$ poate f folosita de ambele stadii e!ita%namic#$ si
ataca%namic#$.
!xemplu 2, stadiul evita3namic poate consta din multe actiuni, unele evaluari, unele
directive de miscare, si unele actiuni ce pot schimba propriul stadiu al entitatii. 0aca
entitatea este incoltita de exemplu, ar putea f o tranzitie de stadiu de la evita3namic la
ataca3namic, unde actul de a f incoltit este declansatorul.
"el mai bun mod in care imi place sa ma gandesc la termeni este o actiune care
reuseste ceva ca o evaluare sau miscare, iar un stadiu este o colectie de actiuni folosite
intr-un anumit mod. n stadiu este circumstanta unui lucru, conditia sa, iar actiunile sunt
atributele stadiului. Furnizeaza capacitatea de a limita scopul actiunilor sau cantitatea de
informatie la minimul cerut de stadiul curent.
!xista doua metode principale pentru manipularea generarii rezultatelor unui MSF. Sunt
numite masinile Moore si Mearl-, dupa autorii lor.
+ masina Moore este un fel de MSF unde rezultatele sunt generate ca produse ale
stadiilor. 3n exemplul de mai %os stadiile defnesc ce e de facut# ca in cazul aplicarii de
curent electric unui bec.
+ masina Mearl-, spre deosebire de masina Moore este un tip de MSF unde rezultatele
sunt generate ca produse ale tranzitiei dintre stadii. 3n exemplul de mai %os lumina este
afectata de schimbarea stadiilor.
MSFurile nu sunt o tehnica noua, exista de mai mult timp. "onceptul de descompunere
ar trebui sa fe familiar oamenilor cu experienta in programare sau proiectare. !xista un
numar de tehnici de modelare abstracte care ar putea a%uta la inetelegerea in defnitie si
proiectare a unui MSF, ma%oritatea venind din lumea proiectarii sau matematicii.
0iagrama 4ranzitiei Stadiilor, numita si diagrama balon, arata realatiile dintre stadii si
intrari de date care cauzeaza tranzitia stadiului
0iagrama 0eciziei Actiunii Stadiului, o diagrama simpla cu baloane aditionale care arata
asteptarea de date externe
0iagrama 5rafcului Stadiului, o forma de notatie M. folosita pentru a arata
comportamentul unui obiect individual ca numar de stadii, si tranzitii intre acele stadii
Analiza 3erarhiala a Sarcinii, desi nu priveste stadiile, A3S este o tehnica de
descompunere a sarcinii care priveste modul in care o sarcina poate f impartita in sub-
sarcini, si ordinea in care sunt executate.
Avantaje ale MSFului
- simplitatea lor usureaza implementarea de catre proiectanti fara experienta fara a
sti ceva in plus
- predictibilitatea 'in MSF deterministic(, find date un set de intrari de date si un
stadiu curent cunoscut, tranzitia de stadiu poate f prevazuta, permitand testare
usoara
- datorita simplitatii, MSFurile se pot proiecta usor, se pot implementa usor si se pot
executa usor
- MSF este o tehnica veche de reprezentare a informatiei si modelare de sistem, si
exista de mult timp, find bine dovedita ca tehnica de inteligenta artifciala, cu
multe exemple din care se poate invata
- MSFurile sunt relativ )exibile. !xista un numar de moduri in care se pot
implementa sisteme bazate pe MSF in termeni topologici, si este usor de
incorporat alte tehnici
- transferul usor de la o reprezentare abstracta la o implementare codata
- cerinte mici de procesare# potrivit domeniilor unde timpul de executie este impartit
intre module sau subsisteme. 0oar codul stadiului curent trebuie executat si
probabil o cantitate mica de logica pentru determinarea stadiului curent
- usoara determinare a a%ungerii la un stadiu, reprezentata in forma abstracta, este
evidenta imediat daca un stadiu este posibil de a%uns prin altul, si a ceea ce este
necesar pentru a a%unge la acel stadiu
Dezavantaje ale MSFului
- natura predictibila a unui MSF deterministic poate f nedorita in unele domenii cum
ar f %ocurile pe calculator 'solutia ar putea f un MSF ne-deteeministic(
- sisteme mai mari implementate folosind MSF pot f difcil de administrat si depanat
fara un proiect bine gandit. 4ranzitia de stadiu poate cauza un grad de factor-
spaghetti in incercarea de urmarire a liniei de executie
- nepotrivit tuturor domeniilor de probleme, ar trebui sa fe folosit cand
comportamentul unui sistem poate f descompus in stadii separate cu conditii bine
defnite pentru tranzitii de stadiu
- conditiile pentru conditiile de tranzitii de stadiu sunt fxe 'poate f rezolvat cu MS/(
"a cele mai multe tehnici, euristica pentru cand si cum se implementeaza MSF este
subiectiva si specifca problemei. !ste clar ca MSFurile sun bine potrivite domeniilor de
probleme care sunt usor exprimate folosind un grafc si poseda un set de stadii si reguli
bine defnite care guverneaza tranzitiile.
*netru o discutie mai larga despre MSFuri va recomand sa cititi, Finite State Machines 6
Ma7ing simple 8or7 of complex functions