Tools to implement automata, a first step: ASTL

Abstract

This work is part of a larger framework where the goal is a high level language to write automaton based applications. The language lets the user specify the data structures to use and designate where the application must be optimized in space or in time. In a second step, we want the language to choose automatically which structure fits best to a given algorithm. This article deals with the foundation of this application, that is, an attempt to standardize the interfaces of a set of different C++ classes implementing an automaton container : ASTL (Automaton Standard Template Library)