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

このボタンはなに？

Google翻訳 / DeepL翻訳

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

詳細

意味（1）

Büchi automatons

（ plural ）

Büchi automata

（ plural ）

詳細

Büchi automaton

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

Büchi automaton

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！