ASTL. The Automata Standard Template Library: Welcome to the Automata Standard Template Library home page. ASTL is a set of generic and efficient C++ components for automata manipulation. It provides a collection of new concepts and header files which one can reuse under the terms of the Lesser GNU Public License. The library has been designed and tested with the latest versions of g++

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Heuberger, Clemens; Krenn, Daniel; Kropf, Sara: Automata in SageMath -- combinatorics meet theoretical computer science (2016)