目录 Generalized NBAGNBA转NBA 在上一节中我们介绍了非确定的Büchi automata，这节中我们介绍一下Generalized NBA，即广义的非确定性NBA。 Generalized NBA GNBA也是由一个五元组 G = ( Q , Σ , q 0 , F , δ ) \mathcal{G}=(Q,Σ,q_{0},\mathcal{F},δ)