Machine generated authority record.
Work cat.: (OSt): Linz, Peter., An introduction to formal languages and automata /, [2017]
