General method of testing the compatibility of interaction automata with finite memory

A.N.Chebotarev

首页> 外文期刊>Cybernetics and Systems Analysis >General method of testing the compatibility of interaction automata with finite memory

【24h】

General method of testing the compatibility of interaction automata with finite memory

机译：测试交互自动机与有限内存兼容性的一般方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

A method is proposed for compatibility analysis of two interacting partial nondeterministic automata A and B specified in first-order language with monadic predicates. In contrast to a method proposed earlier, no restrictions are imposed on the form of specification of the automaton B.

机译：提出了一种以一元语言对一阶语言中指定的两个相互作用的部分不确定自动机A和B进行兼容性分析的方法。与先前提出的方法相比，对自动机B的规格形式没有任何限制。

著录项

来源
《Cybernetics and Systems Analysis》 |1999年第6期|p.867-874|共8页
作者
A.N.Chebotarev;
展开▼
作者单位

展开▼
收录信息美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
Moore automata; automata with finite memory; interacting partial nondeterministic automata;

机译：摩尔自动机具有有限记忆的自动机;相互作用的部分不确定自动机;
入库时间 2022-08-18 00:25:52

相似文献

外文文献
中文文献
专利

1. Methods of Constructing Universal Tests for Finite-state Automata [J] . V. A. Tverdokhlebov Automation and Remote Control . 2005,第1期

机译：构造有限状态自动机通用测试的方法
2. Simulation of Automata over a Finite Ring by the Automata with a Finite Memory [J] . V.V. Skobelev Journal of automation and information sciences . 2012,第5期

机译：用有限记忆自动机模拟有限环上的自动机
3. Coupled finite element and cellular automata methods for analysis of composite structures with fluid-structure interaction [J] . L.E. Craugh, Y.W. Kwon Composite Structures . 2013,第auga期

机译：有限元和细胞自动机耦合方法分析具有流固耦合的复合结构
4. A Test Method to Assess Interactions and Compatibility of Inflatable Seatbelts with Child Restraint Systems [C] . Kevin Pline, Derek Board, Nirmal Muralidharan, SAE World Congress Experience . 2017

机译：一种评估充气安全带与儿童束缚系统的相互作用和兼容性的测试方法
5. A GENERALIZED MODEL FOR MEMORY BASED FINITE STATE MACHINES (DIGITAL SYSTEMS, AUTOMATA, DECOMPOSITION, ARCHITECTURE). [D] . MOREAN, ORLANDO ARTURO. 1986

机译：基于内存的有限状态机（数字系统，自动，分解，体系结构）的通用模型。
6. All-DNA finite-state automata with finite memory [O] . Zhen-Gang Wang, Johann Elbaz, F. Remacle, 2010

机译：具有有限内存的全DNA有限状态自动机
7. Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata [O] . Jha, Tushant, Belkhir, Walid, Chevalier, Yannick, 2015

机译：参数化自动机相对于有限记忆自动机的表现等效性和简洁性

General method of testing the compatibility of interaction automata with finite memory

摘要

著录项

相似文献

相关主题

期刊订阅