Büchi automatons

Noun

form-of plural

plural of Büchi automaton

Japanese Meaning

「Büchi automatons」は「Büchi automaton」の複数形を示す活用形です。

Researchers compared several Büchi automatons to determine which accepted the intended liveness properties.

研究者たちは複数のビュッヒ・オートマタを比較して、どれが意図したライブネス特性を受理するかを調べた。

Sense（1）

plural of Büchi automaton