An Improved Construction of Deterministic Omega-automaton Using Derivatives
Roman R. Redziejowski · Fundamenta Informaticae · 2012
In an earlier paper, the author used derivatives to construct a deterministic automaton recognizing the language defined by an ω-regular expression. The construction was related to a determinization method invented by Safra. This paper describes a ne