Muller automaton とは

オートマトン理論では、ミュラーオートマトンはω-オートマトンの一種である。受理条件は、ミュラーオートマトンを他のω-オートマトンから分離する。 Mullerオートマトンは、Mullerアクセプタンス条件を使用して定義される。すなわち、無限に訪問されるすべての状態のセットは、アクセプタンスセットの要素でなければならない。決定性と非決定性の両方のミュラーオートマトンは、ω規則言語を認識します。彼らは1963年にアメリカの数学者でコンピュータ科学者でもあるデイヴィッド・E・ミュラーにちなんで命名されました。