【软考】【程序设计语言基础】文法与有限自动机

本文介绍了程序设计语言的基础知识,重点讨论了文法的分类,特别是上下文无关文法在2型文法中的应用。文章还深入探讨了词法分析中的正规式和正规集,以及有限自动机的概念,包括确定有限自动机(DFA)和不确定有限自动机(NFA)。此外,文中通过例题展示了有限自动机识别正规集的能力,并提及不同编程语言的特点,如Fortran、Pascal、C、Lisp、C++、Java、C#、Prolog和Python。
摘要由CSDN通过智能技术生成

文法

描述语言语法结构的形式称为文法。
这里写图片描述
文法的分类
这里写图片描述
在程序设计语言的语法基本上都是上下文无关文法,即2型文法。
这里写图片描述

词法分析

正规式和正规集

有限自动机

有限自动机是一种识别装置的抽象概念,它能够正确地识别正规集。
确定有限自动机(DFA)
不确定有限自动机(NFA)
这里写图片描述
例题:下图所示的有限自动机,其中A是初态,C是终态,该自动机可识别(0000、1111、0101、1010)中的哪个
这里写图片描述

正规式

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值