characteristic monoid
Given a semiautomaton , the transition function is typically defined as a function from to . One may instead think of as a set of functions
Since the transition function in can be extended to the domain , so can the set :
The advantage of this interpreation is the following: for any input words over :
which can be easily verified:
In particular, is the identity function on , so that the set becomes a monoid, called the characteristic monoid of .
The characteristic monoid of a semiautomaton is related to the free monoid generated by in the following manner: define a binary relation on by iff . Then is clearly an equivalence relation
on . It is also a congruence relation
with respect to concatenation
: if , then for any over :
and
Putting the two together, we see that if , then . We denote the congruence class in containing the word .
Now, define a map by setting . Then is well-defined. Furthermore, under , it is easy to see that is anti-isomorphic to .
Remark. In order to avoid using anti-isomorphisms, the usual practice is to introduce a multiplication on so that . Then under is isomorphic
to .
Some properties:
- •
If and are isomorphic semiautomata with identical input alphabet, then .
- •
If is a subsemiautomaton of , then is a homomorphic image
of a submonoid of .
- •
If is a homomorphic image of , so is a homomorphic image of .
References
- 1 A. Ginzburg, Algebraic Theory of Automata, Academic Press (1968).
- 2 M. Ito, Algebraic Theory of Automata and Languages
, World Scientific, Singapore (2004).