Коначан аутомат — разлика између измена

''Стање'' аутомата складишти информацију о прошлости, то јест рефлектује промену улаза од почетка рада до тренутне фазе израчунавања. ''Прелаз'' означава промену стања, и описан је условом за који је неопходно да буде испуњен да би дошло до прелаза. ''Акција'' је опис активности која се спроводи у датом моменту.