Abstracting an operational semantics to finite automata

Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus +1

There is an apparent similarity between the descriptions of small-step operational semantics of imperative programs and the semantics of finite automata, so defining an abstraction…