홀러리스의 천공카드기계

튜링 기계와 프로그램 내장방식 계산이론

ABC와 마크-I