海因茨·卡彭斯特;霍斯特·赖切尔 非上下文无关语言的初始代数语义。 （英语） Zbl 0395.68070号 芬丹。计算。理论，程序。国际会议，波兹南-科尔尼克，1977年，勒克特。注释计算。科学。56, 120-126 (1977). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 03C65号 其他数学理论模型 08A55号 部分代数 关键词：等式-部分异质代数;初始代数语义;赤道;非上下文无关语言;递归可枚举;公式语法 引文：Zbl 0351.00018号 PDF格式BibTeX公司 XML格式