|
" Products of Automata. "
Wilfred Brauer
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
751874
|
| Doc. No
|
:
|
b571833
|
| Main Entry
|
:
|
Wilfred Brauer
|
| Title & Author
|
:
|
Products of Automata.\ Wilfred Brauer
|
| Publication Statement
|
:
|
Berlin/Heidelberg : Springer Berlin Heidelberg, 1986
|
| Page. NO
|
:
|
(113 pages)
|
| ISBN
|
:
|
3642616119
|
|
|
:
|
: 9783642616112
|
| Contents
|
:
|
1. Basic Concepts and Preliminaries.- 1.1 Sets and Relations.- 1.2 Algebraic Structures.- 1.3 Automata and Sequential Machines.- 1.4 Products and Complete Systems of Sequential Machines and Automata.- 2. Homomorphic Representations.- 2.1 A Homomorphically Complete System for the ?0-Product.- 2.2 A Minimal Homomorphically Complete System with Respect to the ?0-Product.- 2.3 Homomorphic Representations of Automata by ?0- and ?1-Products of Smaller Automata.- 2.4 Homomorphically Complete Systems for ?i-Products withu i> 1.- 2.5 Comparison of the Homomorphic Representation Powers of ?i-Products.- 2.6 Homomorphically ?i-Simple Automata.- 2.7 A Decidability Result.- 3. Isomorphic Representations.- 3.1 Embedding into ?i-Products of Automata with Fewer States Than a Given Integer.- 3.2 Isomorphically Complete Systems for the ?0-Product.- 3.3 Isomorphically Complete Systems for ?i-Products with i? 1.- 3.4 Comparison of the Isomorphic Representation Powers of ?i-Products.- 3.5 Isomorphically Complete Classes for Nilpotent Automata.- 4. Generalized Products and Simulations.- 4.1 Basic Concepts.- 4.2 Simulations by Generalized ?0-Products.- 4.3 Simulations by Generalized ?1-Products.- 4.4 Simulations by Generalized Products and Generalized ?i-Products with i> 1.- 4.5 Homomorphic Representations by a Restricted Form of Generalized Products.- 5. Representation of Automaton Mappings in Finite Length. Infinite Products.- 5.1 Metric Completeness.- 5.2 Equational Classes of Automata.- 5.3 Metric Equivalence of Products.- Bibliographical Remarks.- References.
|
| Added Entry
|
:
|
Arto Salomaa
|
|
|
:
|
Grzegorz Rozenberg
|
|
|
:
|
Wilfred Brauer
|
| |