编译原理(三)语法分析:4.上下文有关CSG、CSL和形式语言

2023-10-29 09:18

本文主要是介绍编译原理(三)语法分析:4.上下文有关CSG、CSL和形式语言,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 一、上下文有关文法CSG
    • 1.引入原因
    • 2.CSL
  • 二、形式语言
    • 1.定义
    • 2.特点


【编译原理博客列表】》》》》》》


一、上下文有关文法CSG

1.引入原因

程序设计语言中除了CFG可以描述的结构之外,还有一些是CFG无法描述的所谓上下文有关的结构。典型的这类语言结构包括:变量的声明与引用过程调用时形参与实参的一致性检查等。所以引入上下文有关文法(Context Sensitive Grammar, CSG)

例3.12 不能用CFG描述的语言,得用CSL描述的

L 1 = { ω c ω ∣ ω ∈ ( a ∣ b ) ∗ } L1=\{ωcω|ω∈(a|b)*\} L1={ωcωω(ab)} (标识符声明与引用一致性的抽象)
L 2 = { a n b m c n d m ∣ n ≥ 1 和 m ≥ 1 } L2=\{a^nb^mc^nd^m|n≥1和m≥1\} L2={anbmcndmn1m1} (形参与实参一致性的抽象)
L 3 = { a n b n c n ∣ n ≥ 1 } L3=\{a^nb^nc^n|n≥1\} L3={anbncnn1} (计数问题的抽象,要考【CSL复杂度低,就一个】)

相近的、可以用CFL描述的

L 1 ′ = { ω c ω r ∣ ω ∈ ( a ∣ b ) ∗ } L1'=\{ωcω^r|ω∈(a|b)*\} L1={ωcωrω(ab)}(S→aSa|bSb|c)

L 2 ′ = { a n b m c m d n ∣ n ≥ 1 , m ≥ 1 } L2'=\{a^nb^mc^md^n|n≥1, m≥1\} L2={anbmcmdnn1,m1}(S→aSd|aAd,A→bAc|bc)

L 2 ′ ′ = { a n b n c m d m ∣ n ≥ 1 , m ≥ 1 } L2''=\{a^nb^nc^md^m|n≥1, m≥1\} L2={anbncmdmn1,m1}(S→AB,A→aAb|ab,B→cBd|cd)

L 3 ′ = { a m b m c n ∣ m , n ≥ 1 } L3'=\{a^mb^mc^n|m, n≥1\} L3={ambmcnm,n1}(S→AC,A→aAb|ab,C→cC|c)(计数问题的抽象,要考【CFL复杂度高,则两个】)

2.CSL

CSG产生的语言就是CSL

二、形式语言

1.定义

定义3.8
若文法G=(N,T,P,S)的每个产生式α→β中,均有 α ∈ ( N ∪ T ) ∗ α∈(N∪T)* α(NT),且至少含有一个非终结符, β ∈ ( N ∪ T ) ∗ β∈(N∪T)* β(NT),则称G为0型文法

对0型文法施加以下第i条限制,即得到i型文法
①G的任何产生式α→β(S→ε除外)满足 ∣ α ∣ ≤ ∣ β ∣ |α|≤|β| αβ
②G的任何产生式形如A→β,其中A∈N, β ∈ ( N ∪ T ) ∗ β∈(N∪T)* β(NT)
③G的任何产生式形如A→a或者A→aB(或者A→Ba),其中A和B∈N,a∈T。

在这里插入图片描述

2.特点

结论:CSG、CFG、正规式能力递减
但是:能力越强的文法,其文法的设计和自动机的构造越困难
因此:语法分析仅用到CFG(除特别指出,文法即指CFG )

这篇关于编译原理(三)语法分析:4.上下文有关CSG、CSL和形式语言的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/299690

相关文章

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI

JAVA封装多线程实现的方式及原理

《JAVA封装多线程实现的方式及原理》:本文主要介绍Java中封装多线程的原理和常见方式,通过封装可以简化多线程的使用,提高安全性,并增强代码的可维护性和可扩展性,需要的朋友可以参考下... 目录前言一、封装的目标二、常见的封装方式及原理总结前言在 Java 中,封装多线程的原理主要围绕着将多线程相关的操

kotlin中的模块化结构组件及工作原理

《kotlin中的模块化结构组件及工作原理》本文介绍了Kotlin中模块化结构组件,包括ViewModel、LiveData、Room和Navigation的工作原理和基础使用,本文通过实例代码给大家... 目录ViewModel 工作原理LiveData 工作原理Room 工作原理Navigation 工

Java的volatile和sychronized底层实现原理解析

《Java的volatile和sychronized底层实现原理解析》文章详细介绍了Java中的synchronized和volatile关键字的底层实现原理,包括字节码层面、JVM层面的实现细节,以... 目录1. 概览2. Synchronized2.1 字节码层面2.2 JVM层面2.2.1 ente

MySQL的隐式锁(Implicit Lock)原理实现

《MySQL的隐式锁(ImplicitLock)原理实现》MySQL的InnoDB存储引擎中隐式锁是一种自动管理的锁,用于保证事务在行级别操作时的数据一致性和安全性,本文主要介绍了MySQL的隐式锁... 目录1. 背景:什么是隐式锁?2. 隐式锁的工作原理3. 隐式锁的类型4. 隐式锁的实现与源代码分析4

MySQL中Next-Key Lock底层原理实现

《MySQL中Next-KeyLock底层原理实现》Next-KeyLock是MySQLInnoDB存储引擎中的一种锁机制,结合记录锁和间隙锁,用于高效并发控制并避免幻读,本文主要介绍了MySQL中... 目录一、Next-Key Lock 的定义与作用二、底层原理三、源代码解析四、总结Next-Key L

Spring Cloud Hystrix原理与注意事项小结

《SpringCloudHystrix原理与注意事项小结》本文介绍了Hystrix的基本概念、工作原理以及其在实际开发中的应用方式,通过对Hystrix的深入学习,开发者可以在分布式系统中实现精细... 目录一、Spring Cloud Hystrix概述和设计目标(一)Spring Cloud Hystr

IDEA编译报错“java: 常量字符串过长”的原因及解决方法

《IDEA编译报错“java:常量字符串过长”的原因及解决方法》今天在开发过程中,由于尝试将一个文件的Base64字符串设置为常量,结果导致IDEA编译的时候出现了如下报错java:常量字符串过长,... 目录一、问题描述二、问题原因2.1 理论角度2.2 源码角度三、解决方案解决方案①:StringBui

SpringBoot中使用 ThreadLocal 进行多线程上下文管理及注意事项小结

《SpringBoot中使用ThreadLocal进行多线程上下文管理及注意事项小结》本文详细介绍了ThreadLocal的原理、使用场景和示例代码,并在SpringBoot中使用ThreadLo... 目录前言技术积累1.什么是 ThreadLocal2. ThreadLocal 的原理2.1 线程隔离2