Deterministični končni avtomat (DFSM) in nedeterministični končni avtomat (NFSM) sta dve vrsti končnih avtomatov (FSM), ki se uporabljata na področju teorije računalniške kompleksnosti. Medtem ko imata oba FSM podobne značilnosti in ju je mogoče uporabiti za modeliranje različnih računalniških procesov, se razlikujeta glede na svoje obnašanje in naravo