fyi i have merged the entire contents of this article into semiautomaton at this time wp has five distinct articles e g transformation semigroup transition monoid state transition system etc all talking about exactly the same thing all using slightly different notations and language i'm trying to consolidate uniformize all of these if there are objections or comments please leave them at talk semiautomaton