Machine generated authority record.
Work cat.: (OSt): Linz P 18960, Introduction to Formal Languages and Automata