Büchi automata

活用形複数形

plural of Büchi automaton

日本語の意味

英語において「Büchi automata」は「Büchi automaton」の複数形を示します。日本語では「ブチ・オートマトン」（または「ブーチ・オートマトン」）の複数形、つまり複数のブチ・オートマトンを指す用語となります。

Büchi automata are often used to model properties of infinite sequences in formal verification.

複数のビューキ・オートマトンは形式検証で無限列の性質をモデル化するためによく使われます。

意味（1）

plural of Büchi automaton