Bisimulation

Last updated Jan 30, 2023

#index

• Simulation simplifies bisimulation
• Closure of simulation relation
• Quotient transition system
• Surjections of automata are quotients