说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 格值有限自动机
1)  lattice-valued automata
格值有限自动机
2)  Lattice-valued finite state automata
格值有限状态自动机
3)  Mizumoto lattice finite automata
Mizumoto格值有限自动机
1.
The notion of Mizumoto lattice finite automata took value in lattice-ordered monoids is advanced,generalized Mizumoto lattice finite automata based on lattice fuzzy strings are obtained.
提出取值为格半群的Mizumoto格值有限自动机的概念,得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型,并详细讨论了其性质。
4)  Mealy Lattice Finite Automata
Mealy格值有限自动机
1.
Minimization of Mealy Lattice Finite Automata Based on Fuzzy Strings
基于模糊字符串的Mealy格值有限自动机及其最小化
5)  multiple-valued acyclic finite autom aton
多值非循环有限自动机
6)  Lattice-valued fuzzy finite automata
格值自动机
1.
Minimization of Lattice-valued fuzzy finite automata;
一类格值自动机的极小化
补充资料:ω-有限自动机


ω-有限自动机
ω-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在。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条