English

Learning Product Automata

Software Engineering 2017-05-09 v1 Formal Languages and Automata Theory

Abstract

In this paper we give an optimization for active learning algorithms, applicable to learning Moore machines where the output comprises several observables. These machines can be decomposed themselves by projecting on each observable, resulting in smaller components. These components can then be learnt with fewer queries. This is in particular interesting for learning software, where compositional methods are important for guaranteeing scalability.

Keywords

Cite

@article{arxiv.1705.02850,
  title  = {Learning Product Automata},
  author = {Joshua Moerman},
  journal= {arXiv preprint arXiv:1705.02850},
  year   = {2017}
}

Comments

Submitted to LearnAut 2017

R2 v1 2026-06-22T19:40:11.630Z