Quotients and Atoms of Reversible Languages

von Tamm, Hellis
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Yet Another Canonical Nondeterministic Automaton

von Maarand, Hendrik
Veröffentlicht in DCFS (24. : 2022 : Debrecen) Descriptional complexity of formal systems (2022)