Английская Википедия:Generalized Büchi automaton: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

12 марта 2024

  • текущ.пред. 00:3400:34, 12 марта 2024EducationBot обсуждение вклад 5347 байт +5347 Новая страница: «{{Английская Википедия/Панель перехода}} In automata theory, a '''generalized Büchi automaton''' is a variant of a Büchi automaton. The difference with the Büchi automaton is the accepting condition, which is determined by a set of sets of states. A run is accepted by the automaton if it visits at least one state of every set of the accepting condition infinitely often. Generalized Büchi automata are equivalent i...»