オートマトン/第一類/数学的準備