The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
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.
另外，本文也对模糊元胞自动机理论本身进行了探讨，尝试着将模糊逻辑引入到元胞自动机模型中，定义了模糊元胞自动机。
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.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
We extend finite state automata with logic rules, trust matrix and actions of principals to analyze E-commerce protocols.
定义了一个信任矩阵和一个动作集合，并将它们和逻辑规则一起引入有限状态自动机为协议参与者建模。
Finally, its function of identifying language and solving logic problems is discussed by a special example based on the definition of super automata.
该文根据自动机的定义，对超级自动机作了特定的定义，并给出了自动机对语言的识别功能的具体步骤。
Finally, its function of identifying language and solving logic problems is discussed by a special example based on the definition of super automata.
该文根据自动机的定义，对超级自动机作了特定的定义，并给出了自动机对语言的识别功能的具体步骤。
应用推荐