Automatentheorie und formale Sprache | lit.salon