对程序语言理论的理解程序语言理论主要研究语法、语义及语言的实现。编程语言有语法，各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础，语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示，在命令式语言中使用数据结构，在函数式语言中使用列表或者自定义的数据类型。函数式语...