说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> (计算机)形式语言与自动机
1)  formal language and automation
(计算机)形式语言与自动机
2)  formal languages and automata theory
形式语言与自动机理论
1.
The characteristics of formal languages and automata theory(FLAT) course and the current style to teach the course in Guilin University of Electronic Technology are analyzed in this paper,based on which several suggestions on improving the lectures in the course are proposed.
分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。
3)  Formal language automatic machine
形式语言自动机
4)  automata/languages
自动机/形式语言
1.
N-stability of discrete event systems based on automata/languages is studied.
讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。
2.
Detectability of Discrete Event Systems(DES) based on automata/languages is studied.
讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。
5)  NLC Natural Language Computer
自然语言计算机
6)  Algorithmic Language & Computers Practice
算法语言与计算机操作
补充资料:形式语言与自动机


形式语言与自动机
formal languages and automata

【译注】作为转换器的有限自动机还有另一种定义形式.称一个五元组M二为一个有限自动机,其中X,Y,S均为非空有限集,分别称为输人字母表,输出字母表与状态字母表,占是SxX到S的一个映射,称为下丁攀夺函攀,、(这里不指空字)是SxX到Y的一个映射,称为输出函数.一个有限自动机决定了一个从X‘到y‘的映射,将X上的字变为等长的Y上的字.如此定义的有限自动机与上面提到的广义时序机(邵m)的区别在于:在有限自动机中不考虑初始状态与终止状态集,且下一状态函数J与输出函数又使得下一状态与输出都是确定的‘如果X,Y,S均为域F上的有限维向量空间,且占是D留口LrI岛积空间SxX到S的线性映射,又是SxX到Y的线性映射,则称M二是域F上的一个线性有限自动机. 既然一个有限自动机是一个序列转换器,很自然的一个问题就是考虑其所实现的转换是否可逆.称一个有限自动机是呼得‘步可溥的,当且仅当其第i步输入可由第i步,…,第i+:步输出唯一决定(i二l,2,…),而与初始状态无关.如果一个有限自动机的第i步输人可由第i步,…,第i+下步输出及初始状态唯一决定(卜1,2,…,则称它是延迟;步弱可逆的.对有限自动机可逆性的研究在密码学中有很重要的作用. 亦有仅作为产生器的有限自动机,即没有输人,只有输出,这样的有限自动机称作自治有限自动机.移位寄存器是一种特殊的自治有限自动机.形式语言与自动机〔匆口间如粤哪卿.川。川比叮.加;中叩-Ma加曰压成”.oaBr哪盯。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条