This volume covers substantially the central areas of a one-semester course in automata theory. It is oriented towards a mathematical perspective that is understandable to non-mathematicians. Comprehension is greatly aided by examples. Special attention is given to semi-automata theory - the relationship between semigroups and sequential machines (including Green's relations), Schutzenberger's maximal subgroup, von Neumann inverses, wreath products, transducers using matrix notation, shuffle and Kronecker shuffle products. Methods of formal power series, the ambiguity index and linear languages are discussed. Core material includes finite state automata, regular expressions, Kleene's theorem, Chomsky's hierarchy and transformations of grammars. Ambiguous grammars (not linited to context-free grammars) and modal logics are briefly discussed. Turing machine variants with many examples, pushdown automata and their state transition diagrams and parsers, linear bounded automata/2-PDA and Kuroda normal form are also discussed. A brief study of Lindenmeyer systems is offered as a comparison to the theory of Chomsky.
- ISBN10 9810237545
- ISBN13 9789810237547
- Publish Date 31 May 1999 (first published 30 April 1999)
- Publish Status Unknown
- Publish Country SG
- Imprint World Scientific Publishing Co Pte Ltd
- Format Paperback
- Pages 440
- Language English