Die Entscheidbarkeit des Genus regulärer Sprachen und gerichteter Emulatoren

Der Genus einer regulären Sprache L ist äquivalent zum minimalen Genus eines gerichteten Covers des zugrundeliegenden gerichteten Graphen des minimalen deterministischen Automaten, der L erkennt.