1) timed automata theory
赋时自动机理论
1.
With the application of timed automata theory and the aid of UPPAAL,a DEDS model for VPSs was established.
应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模。
3) weight finite state automata
赋权自动机
1.
With the structure features of the proposed model,the mapping method to the single-constraint product function-structure model was presented based on semi-ring weight finite state automata.
根据模型层次节点功构单元间结构特征,提出了基于半环赋权自动机的单约束线结构产品功构模型功能结构域映射实现方法;按照"析取-合取"策略,运用自动机析取、同效、去冗余性等方法将多约束树型产品功构模型析取为若干相对独立的线结构产品功构模型,按单约束线结构产品功构模型映射方法求解,将所有解运用"合取"方法,实现了多约束树型产品功构模型功构映射。
4) Cellular Automata theory
元胞自动机理论
6) abstract automata theory
抽象自动机理论
补充资料：自动机理论
数理语言学中研究抽象自动机的理论。抽象自动机是一种能够识别语言的抽象的装置，它不是具有物理实体的机器，而是表示计算机运算方式的抽象的逻辑关系系统，这样的抽象自动机可以用来检验输入的符号串是不是语言中合格的句子，如果是合格的句子，自动机就接收它，如果不是，就不接收它。如图所示：
自动机可分为有限自动机、后进先出自动机、线性有界自动机、图灵机等几种。它们对语言的识别能力各不相同。
美国语言学家N.乔姆斯基等人建立了形式文法和自动机之间的联系，证明语言的形式文法与自动机之间存在着如下的对应关系：①若某一语言能用图灵机来识别，则它就能用 O型文法生成，反之亦然；②若某一语言能用线性有界自动机来识别，则它就能用上下文敏感文法生成，反之亦然；③若某一语言能用后进先出自动机来识别，则它就能用上下文自由文法生成，反之亦然；④若某一语言能用有限自动机来识别，则它就能用有限状态文法生成，反之亦然。
这种关于形式文法与自动机的关系，反映了语言的生成过程与识别过程的内在联系，它已成为计算机科学的基石之一。这是语言学对于现代自然科学发生影响的一个明证。
自动机可分为有限自动机、后进先出自动机、线性有界自动机、图灵机等几种。它们对语言的识别能力各不相同。
美国语言学家N.乔姆斯基等人建立了形式文法和自动机之间的联系，证明语言的形式文法与自动机之间存在着如下的对应关系：①若某一语言能用图灵机来识别，则它就能用 O型文法生成，反之亦然；②若某一语言能用线性有界自动机来识别，则它就能用上下文敏感文法生成，反之亦然；③若某一语言能用后进先出自动机来识别，则它就能用上下文自由文法生成，反之亦然；④若某一语言能用有限自动机来识别，则它就能用有限状态文法生成，反之亦然。
这种关于形式文法与自动机的关系，反映了语言的生成过程与识别过程的内在联系，它已成为计算机科学的基石之一。这是语言学对于现代自然科学发生影响的一个明证。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条