AN ALGEBRAIC MODEL OF SYNCHRONOUS SYSTEMS

被引：6

作者：

BARTHA, M

机构：

[1] UNIV OXFORD, COMP LAB, OXFORD, ENGLAND

[2] UNIV WESTERN ONTARIO, DEPT COMP SCI, LONDON N6A 3K7, ONTARIO, CANADA

[3] A JOZEF UNIV, BOLYAI INST, H-6720 SZEGED, HUNGARY

来源：

INFORMATION AND COMPUTATION | 1992年 / 97卷 / 01期

关键词：

D O I：

10.1016/0890-5401(92)90006-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Finite state structural Mealy automata over an algebraic theory T (called structural T-automata) are introduced to model behaviors of synchronous systems. The main result is a left adjoint construction which extends the algebraic theory T to a strong feedback theory FsT by adjoining the operation of feedback to it. Structural T-automata equipped with simulations as vertical arrows between them form a symmetric monoidal 2-category. FsT is obtained by divesting this 2-category of its vertical structure, i.e., by making equivalent all the automata contained in the same connected component of a given hom-category. It is shown that, up to isomorphism of 2-cells, each equivalence class contains a unique automaton which is minimal regarding the number of its registers. © 1992.

引用

页码：97 / 131

页数：35

共 42 条

[31]

Kalman R. E., 1969, TOPICS MATH SYSTEM T

[32]

KELLY GM, 1974, LECT NOTES MATH, V420, P76

[33] FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES [J].

LAWVERE, FW .

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1963, 50 (05) :869-&

[34]

LEISERSON CE, 1983, J VLSI COMPUT SYST, V1, P41

[35]

LEISERSON CE, 1982, ACM MIT PRESS DOCTOR, V1

[36]

MacLane S., 1971, CATEGORIES WORKING M

[37]

Manes E.G., 1976, ALGEBRAIC THEORIES

[38]

Padulo L., 1974, SYSTEM THEORY

[39] ON FLOWCHART THEORIES .1. THE DETERMINISTIC CASE [J].

STEFANESCU, G .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 35 (02) :163-191

[40]

STEFANESCU G, 1986, 24 NAT I SCI TECHN C

← 1 2 3 4 5 →