程序设计语言的层次体系通常根据语言与计算机硬件的接近程度以及抽象级别来划分。主要分为低级语言和高级语言两大类。低级语言包括机器语言和汇编语言。机器语言由二进制代码组成，是计算机能直接执行的指令。汇编语言使用助记符代替二进制代码，与机器语言一一对应，需要通过汇编器转换为机器语言。这两种语言执行效率高，但编写复杂，可移植性差。高级语言更接近人类自然语言，如C、Java、Python等。它们通过编译器或解释器转换为机器语言，提高了开发效率、可读性和可移植性。高级语言又可分为面向过程语言、面向对象语言、函数式语言等范式。随着技术发展，还出现了超高级语言和领域特定语言(DSL)，提供更高层次的抽象，专注于特定领域的问题解决。不同层次的语言各有优劣，适用于不同的开发场景和需求。