syntactic semigroup

syntactic semigroup

[sin′tak·tik ′sem·i‚grüp] (systems engineering) For a sequential machine, the set of all transformations performed by all input sequences.