descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object , Other literature type , Contribution for newspaper or weekly magazine 01 Jan 2017Embargo end date: 01 Jan 2016 English Publisher:Association for Computing Machinery (ACM)Journal:ACM SIGPLAN Notices, volume 52, pages 613-625 (issn: 0362-1340, eissn: 1558-1160,

Authors: Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał;

doi: 10.1145/3093333.3009879 , 10.1145/3009837.3009879 , 10.48550/arxiv.1607.06268

arXiv: http://arxiv.org/abs/1607.06268

handle: 2066/173206 , 1820/a59159ab-a8bc-4028-940f-241992e3a094

Learning nominal automata

- Summary
- Subjects
- Metrics

Abstract

We present an Angluin-style algorithm to learn nominal automata, which are acceptors of languages over infinite (structured) alphabets. The abstract approach we take allows us to seamlessly extend known variations of the algorithm to this new setting. In particular we can learn a subclass of nominal non-deterministic automata. An implementation using a recently developed Haskell library for nominal computation is provided for preliminary experiments.

Related Organizations

UNIVERSITY COLLEGE LONDON, Bartlett School of Planning
United Kingdom
Radboud University Nijmegen
Netherlands
University College London
United Kingdom
University of Warsaw
Poland
Open University in the Netherlands
Netherlands

Keywords

FOS: Computer and information sciences, D.1.1; F.4.3; I.3.2, I.3.2, D.1.1, Formal Languages and Automata Theory (cs.FL), F.4.3, Software Science, Computer Science - Formal Languages and Automata Theory

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	33
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%