Muller automata

有一个集合$F\subset P(Q)$。run p被接受，当且仅当$inf(p)\in F$