The Stallings construction for f.g. subgroups of free groups is generalized by introducing the concept of Stallings section, which allows an efficient computation of the core of a Schreier graph based on edge folding. It is proved that those groups admitting Stallings sections are precisely f.g. virtually free groups, through a constructive approach based on Basse-Serre theory. Complexity issue...

This paper gives decidable conditions for when a nitely generated subgroup of a free group is the fundamental group of a Sch utzenberger automaton corresponding to a monoid presentation of an inverse monoid. Also, generalizations are given to speciic types of inverse monoids as well as to monoids which are \nearly inverse." This result has applications to computing membership for inverse monoid...

Antonenko and Russyev independently have shown that any Mealy automaton with no cycles with exit—that is, where every cycle in the underlying directed graph is a sink component—generates a finite (semi)group, regardless of the choice of the production functions. Antonenko has proved that this constitutes a characterization in the non-invertible case and asked for the invertible case, which is p...

This paper reports classification of CA (cellular automata) rules targeting efficient synthesis of reversible cellular automata. An analytical framework is developed to explore the properties of CA rules for 3-neighborhood 1-dimensional CA. It is found that in two-state 3neighborhood CA, the CA rules fall into 6 groups depending on their potential to form reversible CA. The proposed classificat...

In this paper cellular automata generated over group alphabets are examined. For abelian groups and numerous local update rules, time evolution is additive and properties such as reversibility of systems can be examined using algebraic techniques. In particular, a necessary and sufficient condition for the reversibility of a finite one-dimensional cellular automata generated over a finite cycli...

We explore the connections between automata, groups, limit spaces of self-similar actions, and tilings. In particular, we show how a group acting “nicely” on a tree gives rise to a self-covering of a topological groupoid, and how the group can be reconstructed from the groupoid and its covering. The connection is via finite-state automata. These define decomposition rules, or self-similar tilin...

the cellular automata method has been used to simulate the pattern formation of the schlögl model as a bistable reaction-diffusion system. both microscopic and macroscopic cellular automata approaches have been considered and two different methods for obtaining the probabilities in the microscopic approach have been mentioned. the results show the tendency of the system towards the more stable ...

The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...