SEA: A Symbolic Environment for Automata Theory

Authors:
Philippe Andary;Pascal Caron;Jean-Marc Champarnaud;Gérard Duchamp;Marianne Flouret;Éric Laugerotte
Affiliations:
-;-;-;-;-;-
Venue:
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Year:
1999

Citing 9
Cited 3

Rational series and their languages

Rational series and their languages
AUTOMATE, a computing package for automata and finite semigroups

Journal of Symbolic Computation
Grail: a C++ library for automata and expressions

Journal of Symbolic Computation - Special issue on “algorithms: implementation, libraries and use”
AG: a set of Maple packages for manipulating automata and semigroups

Software—Practice & Experience
Noncommutative minimization algorithms

Information Processing Letters
Automata, Languages, and Machines

Automata, Languages, and Machines
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Theory of Codes

Theory of Codes
Operations over Automata with Multiplicities

WIA '98 Revised Papers from the Third International Workshop on Automata Implementation

Direct and dual laws for automata with multiplicities

Theoretical Computer Science
Glushkov Construction for Multiplicities

CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Star normal form, rational expressions, and glushkov WFAs properties

CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata

Quantified Score

Hi-index	0.02

Visualization

Abstract

We here present the system SEA which integrates manipulations over boolean and multiplicity automata. The system provides also self development facilities.