Transition monoid

Redirect to: