Showing 1–2 of 2 results for author: Szynwelski, M

Learning Nominal Automata

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

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 nomina… ▽ More 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. △ Less

Submitted 15 December, 2018; v1 submitted 21 July, 2016; originally announced July 2016.

ACM Class: D.1.1; F.4.3; I.3.2

SMT Solving for Functional Programming over Infinite Structures

Authors: Bartek Klin, Michał Szynwelski

Abstract: We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints. Internally, such sets are represented by logical formulas that define them, and an external satisfiability modulo theories (SMT) solver is regularly run by the interpreter to check… ▽ More We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints. Internally, such sets are represented by logical formulas that define them, and an external satisfiability modulo theories (SMT) solver is regularly run by the interpreter to check their basic properties. The language is implemented as a Haskell module. △ Less

Submitted 5 April, 2016; originally announced April 2016.

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal ref: EPTCS 207, 2016, pp. 57-75