Feasability of learning weighted automata on a semiring

Daviaud, Laure and Johnson, Marianne (2025) Feasability of learning weighted automata on a semiring. Logical Methods in Computer Science, 21 (3). ISSN 1860-5974

Preview

PDF (Daviaud_Johnson_2025) - Accepted Version Available under License Creative Commons Attribution. Download (723kB) | Preview

Abstract

Since the seminal work by Angluin and the introduction of the L*-algorithm, active learning of automata by membership and equivalence queries has been extensively studied to learn various extensions of automata. For weighted automata, algorithms for restricted cases have been developed in the literature, but so far there was no global approach or understanding how these algorithms could apply (or not) in the general case. In this paper we chart the boundaries of the Angluin approach. We use a class of hypothesis automata which are constructed, in Angluin's style, by using membership and equivalence queries and solving certain finite systems of linear equations over the semiring, and we show the theoretical limitations of this approach. We classify functions with respect to how guessable they are, corresponding to the existence of hypothesis automata computing a given function, and how such an hypothesis automaton can be found. Of course, from an algorithmic standpoint, knowing that a solution (hypothesis automaton) exists need not translate into an effective algorithm to find one. We relate our work to the existing literature with a discussion of some known properties ensuring algorithmic solutions, illustrating the ideas over several familiar semirings (including the natural numbers).

Item Type:	Article
Faculty \ School:	Faculty of Science > School of Computing Sciences
Related URLs:	https://arxiv.org/abs/2309.07806
Depositing User:	LivePure Connector
Date Deposited:	25 Jun 2025 16:30
Last Modified:	29 Aug 2025 00:49
URI:	https://ueaeprints.uea.ac.uk/id/eprint/99725
DOI:	10.46298/lmcs-21(3:15)2025

Downloads

Actions (login required)

View Item