English Dictionary

Büchi automaton

名詞

(computing theory) A type of ω-automaton that extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often.

日本語の意味

Büchiオートマトン: 有限オートマトンを無限の入力に拡張したω-オートマトンの一種。無限長の入力シーケンスに対し、受理状態が少なくとも一度以上無限回訪問される走行が存在するとき、その入力を受理する。

When verifying liveness properties, researchers often convert the specification into a Büchi automaton and check the resulting automaton against the system model for language emptiness.

ライブネス特性を検証する際、研究者は仕様を無限入力を扱うオメガオートマトン（有限オートマトンを無限入力へ拡張し、ある受理状態が無限回訪問される実行が存在する場合に受理する）に変換し、生成されたオートマトンをシステムモデルと比較して言語空性を確認することが多い。

意味（1）

(computing theory) A type of ω-automaton that extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often.

Büchi automatons （ plural ）

Büchi automata （ plural ）