Subjects: Konečný automat; konečný stromový automat; alternující Büchiho automat
تفاصيل العنوان