Algebraic Theory of Automata Networks (SIAM Monographs on by Pal Domosi, Chrystopher L. Nehaniv

By Pal Domosi, Chrystopher L. Nehaniv

Algebraic conception of Automata Networks investigates automata networks as algebraic constructions and develops their idea in accordance with different algebraic theories, corresponding to these of semigroups, teams, jewelry, and fields. The authors additionally examine automata networks as items of automata, that's, as compositions of automata received by way of cascading with out suggestions or with suggestions of assorted constrained kinds or, most widely, with the suggestions dependencies managed by way of an arbitrary directed graph. This self-contained publication surveys and extends the elemental ends up in regard to automata networks, together with the most decomposition theorems of Letichevsky, of Krohn and Rhodes, and of others.

Algebraic concept of Automata Networks summarizes crucial result of the prior 4 many years relating to automata networks and provides many new effects found because the final e-book in this topic was once released. It comprises a number of new tools and particular suggestions now not mentioned in different books, together with characterization of homomorphically entire periods of automata lower than the cascade product; items of automata with semi-Letichevsky criterion and with none Letichevsky standards; automata with keep watch over phrases; primitive items and temporal items; community completeness for digraphs having all loop edges; entire finite automata community graphs with minimum variety of edges; and emulation of automata networks through corresponding asynchronous ones.

Show description

Read Online or Download Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11) PDF

Similar mathematics books

Introduction to computer performance analysis with Mathematica

"Introduction to computing device functionality research with Mathematica" is designed as a beginner's consultant to desktop functionality research and assumes just a uncomplicated wisdom of pcs and a few mathematical skillability. The mathematical points were relegated to a Mathematica application disk, permitting readers to attempt out lots of the strategies as they paintings their method throughout the ebook.

Extra info for Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11)

Example text

Let D be a digraph. We say that V is isomorphically n-complete if the complete transformation semigroup on n letters embeds in the transformation semigroup of D. D is homomorphically n-complete if the full transformation semigroup on n letters divides transformation semigroup of D. D is n-complete (with respect to its semigroup) if the symmetric semigroup on n letters divides the semigroup of D. Now we prove the following statement. 15. Let D be a digraph containing all loop edges. Suppose that V has a strongly connected subdigraph with at least n + 1 vertices which contains a branch.

Products of automata over interconnection digraphs). , minimal generating system. By these negative results we know it is hopeless to seek such bases. In the last part of the chapter we show some simple but important properties of automata products which are also considered automata networks. These include presentations of the well-known classical decomposition theorems ofGluskov and Letichevsky that characterize minimal computational elements that are nevertheless powerful enough for different kinds of computational completeness.

Then there exists in S a subgroup G such that the permutation group G generated by these permutations ofZ is a homomorphic image ofG. It is not difficult to verify the following useful fact. 15. For all finite or infinite transformation semigroups (X, S), ( X ' , S'), (Y, T), and (Y', T'), we have the following: (1) (Y, T) < (Y , T') and (X, S) < (X', S'), then (Y, T) (X, S) < ( Y ' , T') (2) If ( X ' , Sf) is a permutation group and T' contains an idempotent, then (Y', T') and (X, S) ( X ' , S') implies (Y, T) (X, S) (Y', T') (X', (3) For permutation groups, it always holds that if (Y, T) (Y', T') and ( X ' , S'), then (Y, T) (X, S) (Y', T') (X', S').

Download PDF sample

Rated 4.40 of 5 – based on 47 votes