Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
Formal Languages and Automata Theory
2026-01-29 v3
Abstract
Abu Radi and Kupferman (2019) demonstrated the efficient minimization of history-deterministic (transition-based) co-B\"uchi automata, building on the results of Kuperberg and Skrzypczak (2015). We give a congruence-based description of these minimal automata, and a self-contained proof of its correctness. We use this description based on congruences to create a passive learning algorithm that can learn minimal history-deterministic co-B\"uchi automata from a set of labeled example words. The algorithm runs in polynomial time on a given set of examples, and there is a characteristic set of examples of polynomial size for each minimal history-deterministic co-B\"uchi automaton.
Keywords
Cite
@article{arxiv.2505.14304,
title = {Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning},
author = {Christof Löding and Igor Walukiewicz},
journal= {arXiv preprint arXiv:2505.14304},
year = {2026}
}