프로그램이 정지할지 루프할지 알아낼수있는 프로그램은 없다고 함
정지문제 문서를 보면 나오듯이 정지할지 루프할지 그 해답을 거꾸로 처리해서 모순이 발생하게 만듬
즉 이 모순이란 프로그램이 정지하면 정지하지 않는다고 하고 루프하면 루프하지 않는다고 함
모순이 해결되려면 정지상태와 루프상태가 겹쳐서 존재할수 있어야함
따라서 이 상태 겹침을 해결하기위해 양자역학의 상태중첩을 사용하는거임
그럼 중첩되있다 와 중첩되지않았다 라는 두 상태가 겹칠수도 있음
중세게임갤에서 어떤 사람이랑 이얘기함
- dc official App
NFA 배울 때 교수님 신나서 떠들던 말이네 NFA 실제 구현이 아직 안 된 상태니까