Канчатковыя аўтаматы (FSM) з'яўляюцца фундаментальнай канцэпцыяй у тэорыі вылічэнняў і шырока выкарыстоўваюцца ў розных галінах, уключаючы інфарматыку і кібербяспеку. FSM - гэта матэматычная мадэль вылічэнняў, якая выкарыстоўваецца для распрацоўкі камп'ютэрных праграм і паслядоўных лагічных схем. Ён складаецца з канчатковай колькасці станаў, пераходаў паміж гэтымі станамі і