Learning Regular Languages over Large Ordered Alphabets
Logic in Computer Science
2017-01-11 v2 Artificial Intelligence
Formal Languages and Automata Theory
Abstract
This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transitions are labeled by elements of a finite partition of the alphabet. We then extend Angluin's L* algorithm for learning regular languages from examples for such automata. We have implemented this algorithm and we demonstrate its behavior where the alphabet is a subset of the natural or real numbers. We sketch the extension of the algorithm to a class of languages over partially ordered alphabets.
Cite
@article{arxiv.1506.00482,
title = {Learning Regular Languages over Large Ordered Alphabets},
author = {Irini-Eleftheria Mens and Oded Maler},
journal= {arXiv preprint arXiv:1506.00482},
year = {2017}
}