튜링머신 같은 기초 수리모델 말고