Added first skeleton for DFA interpretation