 Often, additional symbols formula_88 and $ are adjoined to the alphabet, to act as the left and right end-markers for the string.In the literature, the measure-many automaton is often denoted by the tuple formula_89.Here, formula_69, formula_3, formula_92 and formula_93 are as defined above.