MATHEMATICAL AUTOMATA THEORY. VOLUME I. FINITE AUTOMATA.

摘要

Three broad areas were investigated: (1) the use of formal languages to describe the nature and behavior of finite automata; (2) the development of algebraic approaches to the description of finite automata,automata behavior,and the classification of automata; (3) the development of global models (models that,in effect,consider a digital computer as-a-whole) and computability theory. (Author)