Informasi yang berkaitan dengan de/Generalisierter Büchi-Automat