Machine generated authority record.
Work cat.: (OSt): Linz, Peter, An Introduction to Formal Language and Automata, 2017
