Półdeterministyczny automat Büchiego
Kategoria: