1bd74d20157261c6.tex
1: \begin{abstract}
2: We consider the computational power of silent transitions in one-way automata
3: with storage.  Specifically, we ask which storage mechanisms admit a
4: transformation of a given automaton into one that accepts the same language
5: and reads at least one input symbol in each step.
6: 
7: We study this question using the model of valence automata.  Here, a finite
8: automaton is equipped with a storage mechanism that is given by a monoid.
9: 
10: This work presents generalizations of known results on silent transitions.
11: For two classes of monoids, it provides characterizations of those monoids that
12: allow the removal of $\emptyWord$-transitions.  Both classes are defined by
13: graph products of copies of the bicyclic monoid and the group of integers.  The
14: first class contains pushdown storages as well as the blind counters while the
15: second class contains the blind and the partially blind counters.
16: \end{abstract}
17: