Since all computational problems are reducible into the accept/reject question on inputs, (all problem instances can be represented in a finite length of symbols), automata theory plays a crucial role in computational theory.
Protože všechny výpočetní problémy jsou převeditelné na otázku přijetí nebo odmítnutí slova (všechny instance problémů mohou být reprezentovány řetězci symbolů konečné délky), hraje teorie automatů klíčovou roli v teorie algoritmů.