Potenzmengen-Konstruktion

Id: potenz.tex,v 1.2 2004/12/14 12:36:40 waldmann Exp

Idee: betrachten Mengen von erreichbaren Zustšnden

A' = (Q', S', F', T') mit



Johannes Waldmann 2005-01-28