⑥形式语言与自动机理论
文章平均质量分 69
myy168
归来,做自己的选择!
展开
-
文法
文法是一个四元组:G=(V,T,P,S) V是变量的非空有穷集.对于任意的A∈V,A叫作一个语法变量,简称为变量,也可叫作非终极符号. T是终极符的非空有穷集.对于任意的a∈T,a叫作终极符.T中的字符是语言的句子中出现的字符. P是产生式的非空有穷集合.P中α->β,成为产生式,读作α定义为β.α称为产生式的左部,β称为产生式的右部. S是文法G的开始符号,S∈V. 文法的乔姆斯基体系,将文法分为四类:0型文法,1型文法,2型文法,3型文法. 0型文法,又称短语结构文法,对应的语言叫作0型语言原创 2010-06-04 08:36:00 · 1448 阅读 · 0 评论 -
有穷状态自动机
有穷状态自动机(FA—finite automaton)是一个五元组: M=(Q, Σ, δ, q0, F) Q——状态的非空有穷集合.∀q∈Q,q称为M的一个状态. Σ——输入字母表. δ——状态转移函数,有时又叫作状态转换函数或者移动函数,δ:Q×Σ→Q,δ(q,a)=p. q0——M的开始状态,也可叫作初始状态或启动状态.q0∈Q. F——M的终止状态集合.F被Q包含.任给q∈F,q称为M的终止状原创 2010-06-05 14:58:00 · 2661 阅读 · 4 评论