編譯原理知識點(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