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 条
  • [41] An Axiomatic Approach to Reversible Computation
    Lanese, Ivan
    Phillips, Iain
    Ulidowski, Irek
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2020, 2020, 12077 : 442 - 461
  • [42] An axiomatic approach to network complexity
    Butts, CT
    JOURNAL OF MATHEMATICAL SOCIOLOGY, 2000, 24 (04): : 273 - 301
  • [43] The potentials of cyberworlds - An axiomatic approach
    Kunii, TL
    2004 INTERNATIONAL CONFERENCE ON CYBERWORLDS, PROCEEDINGS, 2004, : 2 - 7
  • [44] An axiomatic approach for persuasion dialogs
    Amgoud, Leila
    de Saint-Cyr, Florence Dupin
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 618 - 625
  • [45] The axiomatic approach to chemical concepts
    Ayers, Paul W.
    Fias, Stijn
    Heidar-Zadeh, Farnaz
    COMPUTATIONAL AND THEORETICAL CHEMISTRY, 2018, 1142 : 83 - 87
  • [46] On fuzzy implications: An axiomatic approach
    Massanet, Sebastia
    Mayor, Gaspar
    Mesiar, Radko
    Torrens, Joan
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (09) : 1471 - 1482
  • [47] An Axiomatic Approach to Congestion Control
    Zarchy, Doron
    Mittal, Radhika
    Schapira, Michael
    Shenker, Scott
    HOTNETS-XVI: PROCEEDINGS OF THE 16TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, 2017, : 115 - 121
  • [48] An axiomatic approach to image interpolation
    Caselles, V
    Morel, JM
    Sbert, C
    INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL III, 1997, : 376 - 379
  • [49] An Axiomatic Approach to Systemic Risk
    Chen, Chen
    Iyengar, Garud
    Moallemi, Ciamac C.
    MANAGEMENT SCIENCE, 2013, 59 (06) : 1373 - 1388
  • [50] An axiomatic approach to the measurement of envy
    Bosmans, Kristof
    Ozturk, Z. Emel
    SOCIAL CHOICE AND WELFARE, 2018, 50 (02) : 247 - 264
12345