Construction of a Deterministicω-Automaton Using Derivatives

DOI10.1051/ITA:1999111MaRDI QIDQ4265535zbMATH OpenOpenAlexFDO

Authors Roman R. Redziejowski

Publication date 22 September 1999

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/222031

zbMATH Keywords

\(\omega\)-regular languageSafra's algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Combinatorics on words (68R15)

Recommendations

• An improved construction of deterministic omega-automaton using derivatives
• From \(\omega\)-regular expressions to Büchi automata via partial derivatives
• scientific article; zbMATH DE number 1159571
• From regular expressions to deterministic automata
• scientific article; zbMATH DE number 1555955

Cites work

• Derivatives of Regular Expressions
• Finite-state \(\omega\)-languages
• scientific article; zbMATH DE number 3932938 (Why is no real title available?)
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• On equations for regular languages, finite automata, and sequential networks
• Partial derivatives of regular expressions and finite automata constructions

Cited in

(5)

• From \(\omega\)-regular expressions to Büchi automata via partial derivatives
• An improved construction of deterministic omega-automaton using derivatives
• On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
• scientific article; zbMATH DE number 1159571 (Why is no real title available?)
• Constructing deterministic parity automata from positive and negative examples

This page was built for publication: Construction of a Deterministicω-Automaton Using Derivatives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265535)