Abstract
In this chapter we consider how far finite-state automata, such as the machine for quality control described in the introduction, are able to carry out simple computations. As with all the machines to be discussed in this book, these automata are regarded as functions that respond to a given input tape by producing a certain output tape; more precisely, each symbol of input received by the machine in a given state produces one symbol of output and may cause the machine to change its state. The state of the machine may correspond to some information stored or remembered in the course of the calculation, such as ‘the last item was defective’. We do not study what mechanical process inside the automaton leads to the printing of output and change of state; the automaton is considered as a ‘black box’ (figure 1.1).
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1976 David Hopkin and Barbara Moss
About this chapter
Cite this chapter
Hopkin, D., Moss, B. (1976). Finite Automata. In: Automata. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-15691-7_2
Download citation
DOI: https://doi.org/10.1007/978-1-349-15691-7_2
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-21217-2
Online ISBN: 978-1-349-15691-7
eBook Packages: Computer ScienceComputer Science (R0)