Author pages are created from data sourced from our academic publisher partnerships and public sources.
Semigroups and automata on infinite words
This paper is an introduction to the algebraic theory of infinite words. Expand
Symbolic Computation of the Valid States of aSequential Machine : Algorithms and DiscussionOlivier
Computing the valid states of a sequential machine is a problem that appears in several veriication and synthesis processes. The computation of the image of a vectorial function is the main operation… Expand