编译原理(1)-----文法

本文介绍了形式语言理论的基础概念,包括字符串与文法的基本定义,以及如何通过不同方式描述一种语言,例如穷举法、文法和自动机法。此外还详细解释了形式语法的构成及其示例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

写在开始:

             看自然语言处理相关内容时看到了编译原理中文法相关的内容,特意记录一下。

字符串概念:

             假定Σ是字符的有限集合,由Σ中字符相连而成的有限序列称为Σ上的字符串

          不包含任何字符的字符串称为空串,记作ε

          包括空串在内的Σ上字符串的全体记为Σ*

字符串运算:

              1、连接运算

               例:Σ={a,b,c},   x=ab,    y=ac,     那么xy=abac

           2、方幂

              x的n次方幂即n个x相连接。当n为0时,x^0=ε

          3、闭包

               例:V={a,b}

                      那么:V*={ε,a,b,aa,ab,bb,ba,aaa,}

                                 V+={a,b,aa,ab,bb,ba,}

描述一种语言的途径:

         1、穷举法:把语言中所有句子都枚举出来,显然只适合句子数目有限的语言

           2、文法:语言中的每个句子用严格定义的规则来构造,利用规则生成语言中合法的句子

           3、自动机法:通过对输入的句子进行合法性检验,区别哪些是语言中的句子,哪些不是

           故文法用来精确地描述语言和其结构,自动机则是用来机械地刻画对输入字符串的识别过程。


形式语法:

        形式语法是一个四元组G={N,Σ,P,S}

           N:非终结符集,一般由大写字母表示

           Σ:终结符集,一般由小写字母表示

           P:一组重写规则的有限集合,P={a->b},其中a,b是NΣ中元素构成的串,

               但是a中至少含有一个非终结符,表示a可以被改写成b

          S:句子符或开始符,为非终结符

    举个栗子:

          我钓鱼。(由主语、谓语、宾语构成)

          终结符集Σ={我,钓,鱼}

          非终结符集N={<主语>,<谓语>,<宾语>}

          语法规则集P={<句子> -> <主语> <谓语>}

          开始符号S=<句子>


下一篇讲一讲形式文法的推导吧,希望能和大家一起进步!



            


           

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值