FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES

Georgiy Korneev, Yan Malakhovski

2010 , VOLUME 10, NUMBER 6 ( NOVEMBER-DECEMBER )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES

G. Korneev, Y. Malakhovski

Read the full article

Abstract

This article describes a domain-specific language (eDSL) for automata-based programming embedded into the Haskell programming language. Proposed eDSL supports extensive code reuse and validation of state-transition functions. This is achieved through developed representation of logical formula that is free from both fixed set of input variables and fixed set of predicates. This allows combination of states in automata even if they were designed for different sets of input variables.

Keywords: finite automata, functional programming, Haskell

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License