AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION
Wang Xian-don · Journal of Qingdao University · 2000
This paper describes automata according to their algebraic specification model. The concept of an automaton is defined as an algebra of its algebraic specification. The definition of recognizable languages for such an algebra is also given, and some equivalent conditions are provided.