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 条
  • [1] PDE-CNNs: Axiomatic Derivations and Applications
    Bellaard, Gijs
    Sakata, Sei
    Smets, Bart M. N.
    Duits, Remco
    Journal of Mathematical Imaging and Vision, 2025, 67 (02)
  • [2] CANONICAL FORMS FOR LOCAL DERIVATIONS
    ROSENLICHT, M
    PACIFIC JOURNAL OF MATHEMATICS, 1972, 42 (03) : 721 - 732
  • [3] DERIVATIONS OF LIE BRACKETS AND CANONICAL QUANTISATION
    JOSEPH, A
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1970, 17 (03) : 210 - &
  • [4] Canonical Derivations with Negative Application Conditions
    Corradini, Andrea
    Heckel, Reiko
    GRAPH TRANSFORMATION, 2014, 8571 : 207 - 221
  • [5] ON AN AXIOMATIC APPROACH TO SUPERMANIFOLDS
    BARTOCCI, C
    BRUZZO, U
    PESTOV, VG
    RUPEREZ, H
    DOKLADY AKADEMII NAUK SSSR, 1991, 321 (04): : 649 - 652
  • [6] Privacy: An Axiomatic Approach
    Ziller, Alexander
    Mueller, Tamara T.
    Braren, Rickmer
    Rueckert, Daniel
    Kaissis, Georgios
    ENTROPY, 2022, 24 (05)
  • [7] AN AXIOMATIC APPROACH TO THE INTEGRAL
    GILLMAN, L
    AMERICAN MATHEMATICAL MONTHLY, 1993, 100 (01): : 16 - 25
  • [8] An axiomatic approach to ε-contamination
    Nishimura, KG
    Ozaki, H
    ECONOMIC THEORY, 2006, 27 (02) : 333 - 340
  • [9] AN AXIOMATIC APPROACH TO COMPUTERS
    FITTING, MC
    THEORIA, 1979, 45 : 97 - 113
  • [10] An Axiomatic Approach to Routing
    Lev, Omer
    Tennenholtz, Moshe
    Zohar, Aviv
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (215): : 194 - 206
12345