Automat skończony – model obliczeniowy składający się ze skończonej liczby stanów i przejść pomiędzy tymi stanami, możliwie z towarzyszącymi im akcjami.
Finite state machine – a computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions.
Wszystkie prawa do wersji angielskiej zastrzezone dla International Software Testing Qualification Board (ISTQB).
Wszystkie prawa do wersji polskiej zastrzezone dla Stowarzyszenia Jakosci Systemow Informatycznych (SJSI).