計算理論
計算理論 (けいさんりろん) は、計算機科学と数学の一部で、計算のモデルやアルゴリズムを理論的にあつかう学問である。計算複雑性理論 (計算量理論) としばし混同されるが、計算理論は複雑性理論より広い意味を持ち、主に計算複雑性理論、計算可能性理論、オートマトンや文脈自由文法の解析などを総称して計算理論という。
隣接分野であるアルゴリズム論とは異なり計算機のかなりおおざっぱな見積もりのみを気にし、 多項式程度の誤差は気にしないのが通例である。
関連項目
参考文献
- マイケル・シプサ、『計算理論の基礎』、渡辺 治 他訳、共立出版、2000年、ISBN 4-320-02948-8
 | この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。 |