Abstract

. We here present the system SEA which integrates manipulations over boolean and multiplicity automata. The system provides also self development facilities. 1 Introduction The SEA symbolic environment arose from the dream of having within the same system different theories over automata facing each other, so that similarities and differences could be at hand. At the present stage, two theories offering minimization processes (however with some major differences, see below) were choosen: the boolean case and the case of multiplicities in a field (here Q to begin with). Many operations are common such as simple rational laws: union, concatenation, Kleene's closure (and their counterparts: sum, Cauchy product, star and external product) and extended rational laws: shuffle, Hadamard (intersection) and infiltration product. A lot of softwares on automata have been developped. Let us cite automate [4], AMoRE [13] and Grail [16]. The package implementing boolean theory in SEA is the new...

Citations