Results 1 -
2 of
2
Grail: A C++ Library for Automata and Expressions
- JOURNAL OF SYMBOLIC COMPUTATION
, 1995
"... ..."
AUTOMATE, a computing package for automata and finite semigroups
, 1991
"... AUTOMATE is a package for symbolic computation on finite automata, extended rational expressions and finite semigroups. On the one hand, it enables one to compute the deterministic minimal automaton of the language represented by a rational expression or given by its table. On the other hand, gi ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
AUTOMATE is a package for symbolic computation on finite automata, extended rational expressions and finite semigroups. On the one hand, it enables one to compute the deterministic minimal automaton of the language represented by a rational expression or given by its table. On the other hand, given the transition table of a deterministic automaton, AUTOMATE computes the associated transition monoid. The regular D-classes structure, and many properties of the elements in the monoid are provided. The program AUTOMATE has been written in C and is quite portable. The user interface includes specialized editors for easy displaying of the computed results.
