Bestimmung einer Bisimulation (Plan)

Sätze: Korrektheit, Vollständigkeit,

Termination für endliche Q1, Q2.


vergleiche: Verfahren zur Minimierung von Automaten (Tabelle zur Markierung nicht äquivalenter Zustände)



Johannes Waldmann 2011-06-29