Büchi automata

form-of plural

plural of Büchi automaton

Japanese Meaning

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

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

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

Sense（1）

plural of Büchi automaton