SEA: A Symbolic Environment for Automata Theory

SEA: A Symbolic Environment for Automata Theory

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

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Andary, Philippe, Caron, Pascal, Champarnaud, Jean-Marc, Duchamp, Gérard, Flouret, Marianne, Laugerotte, Éric
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Automata. Abstract machines. Turing machines
Automaton Theory
Computer science
control theory
systems
Exact sciences and technology
External Product
List Format
Maple Package
Regular Expression
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We here present the system SEA which integrates manipulations over boolean and multiplicity automata. The system provides also self development facilities.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-45526-4_2