semimachine

not defined yet