Martin_Strecker/abstracting_op_sem_to_automata archive