오토마타 같은거 대수학/수리논리학의 연장선아님?