Algebraic Engineering : Proceedings of the International Workshop on Formal Languages and Computer Systems, Kyoto, Japan, 18-21 March 1997 and Proceedings of the 1st International Conference on Semigroups and Algebraic Engineering, Aizu, Japan 24-28 March

by International Workshop on Formal Languages and Computer Systems (1997 : Kyoto, Japan); Ito, Masami; Nehaniv, Chrystopher L.

• ISBN13: 9789810236670
• ISBN10: 9810236670
• Format: Hardcover
• Copyright: 1998-11-01
• Publisher: WORLD SCIENTIFIC PUB CO INC

Summary

In this book, pure and applied results in semigroups, language theory and algebra are applied to areas ranging from circuit design to software engineering to evolution.

Table of Contents

Foreword	vii
Details of the Kyoto Workshop and Aizu Conference	xv
Algebraic Engineering
Algebra for Understanding	1	(16)
Chrystopher L. Nehaniv
Hidden Algebraic Engineering	17	(20)
Joseph A. Goguen
Delay Insensitivity and Ternary Simulation	37	(1)
J. A. Brzozowski
Dynamics and Time
System Time and System Timing	38	(20)
Victor Varshavsky
Semigroup Representations and Dynamical Systems	58	(3)
I. K. Rystsov
The Monoid and the Band of a Petri Net	61	(16)
Elke Wilkeit
One-Orbit Transformation Semigroups on Finite Sets	77	(7)
Tatsuhiko Saito
Analysis of Asynchronous Higher-Order Discrete Neural Networks	84	(12)
Youichi Kobuchi
Biological Systems
Complex Adaptations and the Structure of Recombination Spaces	96	(20)
Gunter P. Wagner
Peter F. Stadler
Life Morphogenesis in Models	116	(10)
Alexander V. Spirov
Complexity, Logic and Geometry
Geometric Semigroup Theory	126	(25)
Jon McCammond
John Rhodes
Decidable and Undecidable Problems for Semigroup Pseudovarieties	151	(8)
S. I. Kublanovsky
Unimodular Regular Triangulations of (0, 1)-Polytopes Associated with Finite Graphs	159	(13)
Hidefumi Ohsugi
Collapsing Theorem for the Slow-Growing and an Extended Hardy Hierarchies	172	(14)
O. Takaki
Modified Realizability for TRDB	186	(15)
O. Takaki
M. Yasugi
Tilings and Codes
A change-of-coordinates from Geometry to Algebra, Applied to Brick Tilings	201	(18)
Jonathan L. King
Introduction to Bicodes	219	(11)
K. Hashiguchi
T. Mizoguchi
N. Nouda
Brick Codes	230	(8)
Wlodzimierz Moczurad
Binary Distance Codes	238	(22)
K. Hashiguchi
S. Mouri
S. Jimbo
H. Yoshioka
Automata, Decompositions and Computation
On Complete Systems of Automata	260	(2)
Pal Domosi
Chrystopher L. Nehaniv
Blanket Algebra for Multiple-Valued Function Decomposition	262	(15)
J. A. Brzozowski
J. J. Lou
Nets of Probabilistic Processors as a Powerful Means of Computation and Modelling	277	(13)
Rais Bukharaev
K-Density and D-Continuity on Conditional Seminear-Rings	290	(12)
Gabriel Ciobanu
Bogdan Romila
Parallel Computation: The Join of Pseudovarieties	302	(15)
Ben Steinberg
Extended Finite Automata over Groups	317	(13)
V. Mitrana
R. Stiebe
Some Identities Related to Automata, Determinants, and Mobius Functions	330	(20)
Volker Diekert
Yuji Kobayashi
Software Systems
Parallel Symbolic Simulation Using the Algebraic Programming System	350	(11)
A. A. Letichevsky
J. V. Kapitonova
A. E. Doroshenko
V. A. Volkov
A Conceptual View on Updates of Object Bases	361	(15)
Roland Kaschek
Semigroup and Monoid Pseudovarieties
Conditional Equations for Pseudovarieties	376	(14)
M. V. Volkov
Type-I Subsemigroups, Revisited	390	(9)
Karsten Henckell
Power Semigroups: Results and Problems	399	(17)
Jorge Almeida
BG = PG, Revisited	416	(11)
Karsten Henckell
On ω-Identities of Finite Semigroups	427	(10)
Ilya Yu Zhil'tsov
Semigroups and Algebra
Universal Aspects of Regular *-Semigroups	437	(11)
Zhonghao Jiang
Peter G. Trotter
Normal Forms of Hypersubstitutions	448	(14)
K. Denecke
J. Koppitz
On Structurally Orthodox Semigroups	462	(11)
Samuel J. L. Kopamu
Kronecker Function Rings of Semistar-Operations on Semigroups and Rings	473	(11)
Ryuki Matsuda
Words, Languages and Grammars
Shuffle Products and Related Operations on Languages	484	(10)
Masami Ito
Decimations and Sturmian Words	494	(8)
Jacques Justin
Giuseppe Pirillo
The Equational Properties of Reversal	502	(20)
Z. Esik
M. Ito
M. Katsura
On the Relations Between Multi-depth Grammars and Label-Distinguished Control Grammars	522	(11)
Alessandra Cherubini
Pierluigi San Pietro
New Pumping Lemma for Linear Indexed Languages	533	(5)
Pal Domosi
Jurgen Duske
Manfred Kudlek
Modular Properties of Monoids and String-Rewriting Systems	538
Friedrich Otto