이론 컴퓨터 과학 - 다른 언어