Book contents
- Frontmatter
- Contents
- Preface
- Part I Formal Background
- 1 Formal Preliminaries
- 2 Monoidal Finite-State Automata
- 3 Classical Finite-State Automata and Regular Languages
- 4 Monoidal Multi-Tape Automata and Finite-State Transducers
- 5 Deterministic Transducers
- 6 Bimachines
- Part II From Theory to Practice
- References
- Index
2 - Monoidal Finite-State Automata
from Part I - Formal Background
Published online by Cambridge University Press: 29 July 2019
- Frontmatter
- Contents
- Preface
- Part I Formal Background
- 1 Formal Preliminaries
- 2 Monoidal Finite-State Automata
- 3 Classical Finite-State Automata and Regular Languages
- 4 Monoidal Multi-Tape Automata and Finite-State Transducers
- 5 Deterministic Transducers
- 6 Bimachines
- Part II From Theory to Practice
- References
- Index
Summary
As a starting point we study finite-state automata, which represent the simplest devices for recognizing languages. The theory of finite-state automata has been described in numerous textbooks both from a computational and an algebraic point of view. Here we immediately look at the more general concept of a monoidal finite-state automaton, and the focus of this chapter is general constructions and results for finite-state automata over arbitrary monoids and monoidal languages. Refined pictures for the special (and more standard) cases where we only consider free monoids or Cartesian products of monoids will be given later.
Keywords
- Type
- Chapter
- Information
- Finite-State TechniquesAutomata, Transducers and Bimachines, pp. 23 - 42Publisher: Cambridge University PressPrint publication year: 2019