NOTES ON MATHEMATICAL AUTOMATA THEORY,
Abstract
A discussion is presented of the formulation of the concept of finite automation in terms of monadic algebras. In considering the theory of the structure of finite automata (as opposed to the behavior), the set of final states can be dropped from the definition. Here, results from the study of abstract algebras yield directly, for example, the decomposition theorems for finite automata. The purpose of these notes is to present some of the basic concepts and results of finite automata theory within this algebraic framework. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1963
- Accession Number
- AD0430106
Entities
People
- J. W. Thatcher
Organizations
- University of Michigan