튜링머신이라거나 pnp 문제같은거 보면서 재밌어보여서 공부하고싶음 검색하니까 이런거 다루는걸 컴퓨터이론이라고 한다네