튜링 기계

Alan Turing이 고안해낸 가상의 계산 모델. 람다 대수 따위와 동일한 계산 능력을 가지고 있으며 아마 이게 우리가 생각할 수 있는 가장 최고의 계산 모델일 거라는 예측이 있다. (처치튜링명제)

• http://aturingmachine.com/
• 누가 레고로 만들었던 것 같은 느낌이 든다.