2000 character limit reached
Learning Weighted Automata over Principal Ideal Domains (1911.04404v2)
Published 11 Nov 2019 in cs.FL
Abstract: In this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin's seminal \LStar\ algorithm works when the semiring is a principal ideal domain, but not for general semirings such as the natural numbers.