1) finite state automata with condition
带条件的有限状态自动机
1.
The existing conditions and problems of service computing are analyzed,and based on the work of D Berardi and A Wombacher,a kind of finite state automata with condition cFSA(Finite State Automata with condition)is presented,and the service theory model based on cFSA is presented too.
分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型。
2) deterministic finite automation (DFA)
确定的有限状态自动机
3) extended finite state machines
扩展的有限状态自动机
4) finite state automaton
有限状态自动机
1.
Design and implementation of finite state automaton on USSD dialogue;
USSD对话有限状态自动机的设计与实现
2.
In order to solve the problem that Gipps lane changing framework calculation is inefficient in lane changing model,a vehicle moving framework based on finite state automaton was proposed.
为了解决车道变换模型中采用Gipps换道框架计算效率不高的问题,提出了一种车辆行驶的有限状态自动机框架,该框架能够容纳选择性换道和强制性换道,使驾驶员从当前状态出发进行局部决策。
3.
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
5) finite state machine
有限状态自动机
1.
Web services composition based on finite state machine;
基于有限状态自动机的Web服务组合(英文)
2.
Event reconstruction algorithm based on timed finite state machine
基于时间有限状态自动机的事件重建推理算法
3.
The configuration of finite state machine and the method of the realization of CAN protocol with finite state machine are demonstrated in detail.
首先介绍了CAN总线的概况,简单介绍了CAN总协议的内容,详细介绍了有限状态自动机的组成特点以及利用有限状态自动机实现CAN总线协议的方法。
6) finite state automata
有限状态自动机
1.
Research on the simulation of train operation process based on finite state automata multimodeling integration;
基于有限状态自动机多模型集成的列车运行过程仿真研究
2.
A service composition model based on finite state automata;
基于有限状态自动机的服务组合模型
3.
The Congruence,Morphism on the Finite State Automata and the Transformation Moniod;
有限状态自动机和变换幺半群的同余、同态
补充资料：ω-有限自动机
ω-有限自动机
ω-finite state automata
1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条