de.uni_due.inf.ti.raven.data.automata

Class FirstExampleEmptinessNFA