多体裁语言Lyusia——多层次语义学理论基础

实用的新一代编程语言所应具备的指标之一:多种体裁。本文提出的多体栽语言Lyusia是由泛函、逻辑、集合论、状态转移(蕴含过程、面向法则、谓词/事件网)诸体裁相当自然地交织成的。横向联系上,它们相互渗透交融;纵向制约上,它们形成单向递昇层次的多阶层结构.在(?)_(γω)理论的静态框架内,在自动机观念的动态机制牵引下,形成了Lyusia的多层次语义。文中描述了Lyusia的语法基本部分,并提出了该语言的多层次语义理论体系。