Simply-v-Automat