软件工程

本类阅读TOP10

·PHP4 + MYSQL + APACHE 在 WIN 系统下的安装、配置
·Linux 入门常用命令(1)
·Linux 入门常用命令(2)
·使用 DCPROMO/FORCEREMOVAL 命令强制将 Active Directory 域控制器降级
·DirectShow学习(八): CBaseRender类及相应Pin类的源代码分析
·基于ICE方式SIP信令穿透Symmetric NAT技术研究
·Windows 2003网络负载均衡的实现
·一网打尽Win十四种系统故障解决方法
·数百种 Windows 软件的免费替代品列表
·收藏---行百里半九十

分类导航
VC语言Delphi
VB语言ASP
PerlJava
Script数据库
其他语言游戏开发
文件格式网站制作
软件工程.NET开发
Context-Free Languages

作者:未知 来源:月光软件站 加入时间:2005-2-28 月光软件站

2.1

Concepts: substitution rule (production),variable,terminal,derivation

Definition: a context-free grammar is a 4-tuple(variables, terminals, rules, start variable)

Chomsky normal form:

A ®B, C

A ® a

Theorem:

       Any context free language is generated by a context-free grammar in Chomsky normal form.

 

2.2

A pushdown automaton is a 6-tuple (states, input alphabet, stack alphabet, transition function, start state, accept states)

Theorem

       A language is context free if and only if some pushdown automaton recognizes it.

 

2.3

The pumping lemma for context-free languages

1.    for each i ³ 0 , uvixyiz ÎA

2.       |vy| > 0

3.       |vxy| £ p




相关文章

相关软件