摘要

<正> 1.DIANA的外部表示文法(1)〈DIANA程序〉::=〈使用结点〉〈结点序列〉(2)〈使用结点〉::=名字〈属性标号地址〉|整数〈标号地址〉(3)〈属性标号地址〉::=〈属性部分〉|:〈结点〉|^(4)〈标号地址〉::=:〈结点〉|^(5)〈属性部分〉::=[〈属性〉〈属性序列〉]|空