Čo je to konečný automat?

Konečný stroj (FSM) je výpočtový model, ktorý možno použiť na reprezentáciu rôznych systémov. Pozostáva z konečného počtu stavov a množiny prechodov, ktoré definujú podmienky, za ktorých môže systém prejsť z jedného stavu do druhého. Keď je FSM v konkrétnom stave, môže buď zostať v tomto stave, alebo prejsť do iného stavu na základe vstupu, ktorý dostane.

Tu je jednoduchý príklad na ilustráciu toho, ako funguje konečný automat. Zvážte vypínač svetla, ktorý môže byť v dvoch stavoch:ON a OFF. Keď je spínač v zapnutom stave, svetlo sa rozsvieti. Keď je spínač vo vypnutom stave, svetlo sa vypne. Prechody medzi týmito dvoma stavmi sú určené vstupom, čo je akcia preklopenia prepínača. Po prepnutí spínača sa FSM zmení z jedného stavu do druhého.

Konečné automaty možno použiť na modelovanie rôznych systémov, ako sú semafory, predajné automaty a dokonca aj jednoduché počítačové programy. Sú užitočné pre systémy, ktoré majú obmedzený počet stavov a dobre definovanú množinu prechodov.

• Predchádzajúca strana: Aký je rozdiel medzi LPAR a VIOS? 
• Ďalšia strana: Čo je bind v Linuxe?