理論計算機科学におけるAI用語を2つ探る
Automata Theoryは、抽象的な機械とそれらが解決できる問題の研究です。
計算複雑性理論は、アルゴリズムが問題を解くために必要なリソースを研究します。