Пытанне аб тым, ці можа існаваць эквівалентны дэтэрмінаваны канечны аўтамат (DFSM) для кожнага недэтэрмінаванага канчатковага аўтамата (NFSM), з'яўляецца фундаментальнай тэмай у тэорыі вылічэнняў і фармальных мовах. Гэтае пытанне закранае асноўныя прынцыпы тэорыі аўтаматаў і мае значныя наступствы для розных абласцей, уключаючы кібербяспеку, распрацоўку алгарытмаў і