잘 정제된 자연어는 프로그래밍언어와 위상동형이다