On Learning Nominal Automata with Binders
Abstract
We investigate a learning algorithm in the context of nominal automata, an extension of classical automata to alphabets featuring names. This class of automata captures nominal regular languages; analogously to the classical language theory, nominal automata have been shown to characterise nominal regular expressions with binders. These formalisms are amenable to abstract modelling resource-aware computations. We propose a learning algorithm on nominal regular languages with binders. Our algorithm generalises Angluin's L* algorithm with respect to nominal regular languages with binders. We show the correctness and study the theoretical complexity of our algorithm.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2019
- DOI:
- 10.48550/arXiv.1909.05974
- arXiv:
- arXiv:1909.05974
- Bibcode:
- 2019arXiv190905974X
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Machine Learning
- E-Print:
- In Proceedings ICE 2019, arXiv:1909.05242