• Publications
  • Influence
Semigroups and automata on infinite words
TLDR
This paper is an introduction to the algebraic theory of infinite words. Expand
  • 39
  • 2
  • PDF
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 operationExpand