1: The DFA A representing specification (left) and the DFA A c ...

1: The DFA A representing specification (left) and the DFA A c ...