León Bohn ; Christof Löding - Constructing Deterministic Parity Automata from Positive and Negative Examples

theoretics:11491 - TheoretiCS, July 30, 2024, Volume 3 - https://doi.org/10.46298/theoretics.24.17
Constructing Deterministic Parity Automata from Positive and Negative ExamplesArticle

Authors: León Bohn ; Christof Löding

    We present a polynomial time algorithm that constructs a deterministic parity automaton (DPA) from a given set of positive and negative ultimately periodic example words. We show that this algorithm is complete for the class of $\omega$-regular languages, that is, it can learn a DPA for each regular $\omega$-language. For use in the algorithm, we give a definition of a DPA, that we call the precise DPA of a language, and show that it can be constructed from the syntactic family of right congruences for that language (introduced by Maler and Staiger in 1997). Depending on the structure of the language, the precise DPA can be of exponential size compared to a minimal DPA, but it can also be a minimal DPA. The upper bound that we obtain on the number of examples required for our algorithm to find a DPA for $L$ is therefore exponential in the size of a minimal DPA, in general. However we identify two parameters of regular $\omega$-languages such that fixing these parameters makes the bound polynomial.


    Volume: Volume 3
    Published on: July 30, 2024
    Accepted on: May 11, 2024
    Submitted on: June 21, 2023
    Keywords: Computer Science - Formal Languages and Automata Theory

    Consultation statistics

    This page has been seen 98 times.
    This article's PDF has been downloaded 52 times.