The systems are usually described by the timed automata and the properties are specified by the temporal logic.

这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。

youdao

Otherwise, this paper also discusses the theory of cellular automata itself, tries to put fuzzy logic into the cellular automata, and gives the definition of fuzzy cellular automata.

另外，本文也对模糊元胞自动机理论本身进行了探讨，尝试着将模糊逻辑引入到元胞自动机模型中，定义了模糊元胞自动机。

youdao

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.

这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。

youdao