言語
思考
プログラム
状態遷移関数
内部状態、記憶
外部参照、書き出し
状態評価関数