<<Up
Contents
Rabin automaton
Konstruktion aus A einen deterministischen Automat B mit L(B) = L(A) ("Potenzautomatenkonstruktion" Vervahren) nach Rabin und Scott.
wikipedia.org
dumped 2003-03-17 with
terodump