Generalized Büchi Automata

GBA类似 Büchi automata，有一个终止集的集合 $F=F_1,\cdots ,F_n\subseteq P(Q)$，其终止条件是

$\forall 1\le i\le n,inf(p)\cap F_i\ne \varnothing$