pop(1)* push(1)
=
push(1)* pop(1)
Counterexample (Left ⊃ Right)
Analyzing expressions...
Counterexample (Left ⊂ Right)
Analyzing expressions...
Automata
Input Packet:
Output Packet:
Update Automata
Left Expression Automaton
Right Expression Automaton