各种程序设计语言，用于与图灵机沟通的语言