编译原理知识点(2)

原創 Asensio_20 2020-07-04 21:52
  • 上下文无关文法

也就是2型文法，表明凡出现在产生式左边的符号都是非终结符

  • 正规式和正规集

正规集可以用正规式表达，一个字集合是正规集当且仅当他能用正规式表示

  • 正规式和正规集的递归定义

\varepsilon和\o都是正规式，其正规集为\left \{ \varepsilon \right \}和\varnothing

对于字母表上的字符a，a是该字母表上的正规式，表示的正规集为\left \{ a \right \}

假设e1,e2都是字母表上的正规式，对应的正规集为L(e1), L(e2)

则\left ( e1 | e2 \right )是正规式，对应正规集为L(e1) \bigcup L(e2)

\left ( e1,e2 \right )是正规式，对应正规集为L(e1)L(e2)

(e1)*是正规式，对应正规集为(L(e1))*

若两个正规式表示的正规集相同，则这两个正规式等价，存在交换律，结合律，分配律

  • 有限自动机

对于任何字a,若存在一条从初态到某一末态的道路，则称a被该自动机识别，自动机识别的字的全体记做L(M), 对于两个识别字的全体相同的自动机，称这两个自动机等价

NFA可转化成DFA，利用状态集方法，DFA的化简过程中，对于一个集合中的不同元素，如果接收到了一个字符使得状态到达了不同的已有状态集合中，则该集合应该予以拆分

注：DFA单条弧上只能够是单个字符，不能是一个字符串

發表評論
所有評論
還沒有人評論，想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章

编译原理：Introduction

1.1 語言處理器 如何實現語言？ Interpreter 解釋器（用“is”的方法解釋程序，幾乎沒有預處理） source code + input —interpreter—> output compilers 編譯器

wowhahaha 2020-07-06 05:05:49

编译概览

編譯過程概覽詞法分析語法分析語義分析中間代碼生成目標代碼生成專門針對機器的代碼改進 詞法分析 詞法分析器讀入一個個的字符，並將他們組合成單詞，也就是程序中最小的有意義的單位。詞法分析器的主要作用就是爲了簡化分析器的工作，它能減小輸

z974656361 2020-07-08 00:39:31

语法分析——TEST编译器（2）

目錄1 TEST語法規則2 語法分析2.1 功能2.2 錯誤類型2.3 設計思路3 完整代碼4 總結 在上一題篇中講到了詞法分析的過程，需要的可以點擊查看 詞法分析——TEST編譯器（1） 1 TEST語法規則 語法分析是根據TE

打代码的小明 2020-07-08 00:24:36

虚拟机——TEST编译器（4)

目錄1 虛擬機1.1 功能1.2 特點1.3 設計思路2 完整代碼3 總結 詞法分析： 詞法分析——TEST編譯器（1） 語法分析： 語法分析——TEST編譯器（2） 語義分析： 語義分析——TEST編譯器（3） 1 虛擬機 1.

打代码的小明 2020-07-08 00:24:36

词法分析——TSET编译器（1）

目錄1 編譯器1.1 定義1.2 編譯過程1.3 需要實現的功能2 TEST測試語言2.1 TEST詞法規則2.2 TEST語法規則3 詞法分析3.1 功能3.2 特點3.3 錯誤類型3.4 設計思路4 完整代碼5 總結 1 編譯

打代码的小明 2020-07-08 00:24:36

语义分析——TEST编译器（3）

目錄1 語義分析1.1 功能1.2 錯誤類型1.3 中間代碼1.4 符號表1.5 設計思路2 完整代碼3 總結 詞法分析： 詞法分析——TEST編譯器（1） 語法分析： 語法分析——TEST編譯器（2） 1 語義分析 1.1 功能

打代码的小明 2020-07-08 00:24:36

Java实现C的语法分析器（预测分析法）

         在上一次詞法分析的基礎之上，我完成了我的C語言的語法分析器。這次選擇的是用Java來實現，採用了自頂向下的分析方法，其思想是根據輸入token串的最左推導，試圖根據現在的輸入字符來判斷用哪個產生式來進行推導。      

zouliping123 2020-07-07 20:01:52

编译原理知识(2)--编译过程

本文轉載自：http://blog.chinaunix.net/uid-27004869-id-3330076.html 尊重原創 在計算機上執行一個高級語言的程序的一般步驟： 1）用一個編譯程序把高級語言翻譯成機器語言程序；

Mrzhoug 2020-07-06 16:50:04

【北航编译原理笔记】4. 语义分析与符号表

語義分析與符號表 上下文有關分析(標識符的作用域) 類型的一致性檢查 語義處理: 聲明語句(登錄名字的特徵信息到符號表上), 執行語句(按某種操作的目標結構生成代碼) 非分程序結構: 主程序與子程序, 函數分開 分程序結構:

ETO_ 2020-07-06 15:07:21

【北航编译原理笔记】2. 词法分析

詞法分析 功能: 根據詞法規則識別及組合單詞,進行詞法檢查 對數字常數完成 數字字符串 -->二進制數值 轉換 刪去空格字符和註釋 單詞種類: 保留字, 標識符, 常數, 分界符 單詞內部形式: 單詞類別 + 單詞值 單

ETO_ 2020-07-06 15:07:21

一文带你快速了解编译原理

什麼是程序的執行? 輸入程序輸出 程序可以看做一個函數,接受輸入和返回輸出? 什麼是編譯器? 源程序編譯器目標程序 將源程序編譯成 目標程序。 代表: c/c++ go rust 什麼是解釋器? 源程序解釋器輸入輸出 代表:

草帽boy7 2020-07-06 02:08:42

zephyr device-tree

zephyr build overview官方說明文檔: https://docs.zephyrproject.org/latest/guides/build/index.html zephyr 也同樣採用了設備樹來描述板級信息，實際使用

shenhuxi_yu 2020-07-05 14:37:09

insmod ko invalid module format [unknown relocation]

linux版本4.14 aarch32 用如下出錯版本的Makefile編譯basic.ko，insmod ko到kernel後提示invalid module format, dmesg查看內核打印信息 basic: unknown r

shenhuxi_yu 2020-07-05 14:36:59

gdb交叉编译与编译参数说明

下載can-utils源碼後手動編譯的步驟 ./configure CC=arm-linux-gnueabihf-gcc --target=arm-linux  --host=arm-linux build:執行代碼編譯的主機，自己的主機

shenhuxi_yu 2020-07-05 14:36:59

动态链接顺序

從網上查找知道RPATH的優先級高於LD_LIBRARY_PATH 那LD_LIBARY_PATH中的多個路徑存在同名的so文件的時候bin會選擇哪一個？ 用兩個so和一個bin做實驗驗證下上面兩個問題 實驗環境gcc 5.4 ubunt

shenhuxi_yu 2020-07-05 14:36:59