An Improved Construction of Deterministic Omega-automaton Using Derivatives

DOI10.3233/FI-2012-744zbMath1279.68173OpenAlexW1599236338MaRDI QIDQ3168197

Roman R. Redziejowski

Publication date: 29 October 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-744

zbMATH Keywords

derivativesdeterminization\(\omega\)-regular expressiondeterministic Omega-automatonSafra's method

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (8)

Determinization and limit-determinization of Emerson-Lei automata ⋮ Dissecting \texttt{ltlsynt} ⋮ Unnamed Item ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata ⋮ Index Appearance Record for Transforming Rabin Automata into Parity Automata ⋮ Unnamed Item ⋮ From $$\omega $$-Regular Expressions to Büchi Automata via Partial Derivatives

This page was built for publication: An Improved Construction of Deterministic Omega-automaton Using Derivatives