AN AXIOMATIC APPROACH TO CANONICAL DERIVATIONS

被引：0
|
作者：
KREOWSKI, HJ
机构：
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
MATHEMATICAL LOGIC AND FORMAL LANGUAGES; GENERAL; GRAMMARS AND OTHER REWRITING SYSTEMS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an axiomatic approach to canonical derivations in the framework of transition systems with parallelism structures. Canonical derivations are known as the graph-grammatical counterpart to leftmost derivations in Chomsky grammars. They are studied in this paper as candidates to represent the processes in a concurrent system or, more exactly, as representatives of equivalent views on the processes. The main results give sufficient conditions for existence and uniqueness of canonical derivations.
引用
收藏
页码：348 / 353
页数：6
相关论文
共 50 条
12345