On Learning Polynomial Recursive Programs

Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi +1

We introduce the class of P-finite automata. These are a generalisation of weighted automata, in which the weights of transitions can depend polynomially on the length of the input…