튜링 머신 Turing machine

정의

튜링기계 : 튜링이 자신의 논문에서 수리명제 자동판결 문제가 풀릴 수 없음을 증명하기 위해 구상한 기계

서울대 교수님 설명 영상

제가 공부했던 영상입니다. 워낙 설명을 잘하셔서 재가공없이 url을 남기는 방향으로 알려드립니다. 

https://www.youtube.com/watch?v=ozz5dzFFkIE 

https://www.youtube.com/watch?v=L-2i7iafR04 

https://www.youtube.com/watch?v=3XiiN7HfN9M

개인 공부 자료(위 영상을 보시면 다 알 수 있는 내용입니다.)

1. 0101010101 ...을 무한히 만드는 기계

2. 0110을 복사하는 기계

3. 00101101110111 ....을 만드는 기계

4. $11$111$으로부터 $11$111$11111$을 만드는 기계

5. $11$111$로부터 $11$111$111111$을 만드는 기계

6. $11$111$로 $11$110을 만드는 기계(0는 -1을 의미하는 것으로 임의 정의)