検索結果- 英語 - 英語

検索内容:

Büchi

Büchi automatons

noun

plural of Büchi automaton

Büchi automatons are used in formal verification to model infinite-state systems.

Google翻訳 / DeepL翻訳

詳細

意味の詳細を表示する

詳細

Büchi automaton

noun

(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.

A Büchi automaton is a type of automaton used in formal language theory.

Google翻訳 / DeepL翻訳

詳細

意味の詳細を表示する

詳細

Büchi automata

noun

plural of Büchi automaton

Büchi automata are used in formal verification to model infinite-state systems.

Google翻訳 / DeepL翻訳

詳細

意味の詳細を表示する

詳細

Webで検索する