《編譯原理:包含代數(shù)方法的新編譯方法(英文版)》通過把編程語言的編譯同人類對(duì)自然語言的理解過程進(jìn)行類比來闡述編譯程序的思想,采用標(biāo)記法來創(chuàng)建源語言、中間語言和目標(biāo)語言的符號(hào),生動(dòng)地描述了多層次編譯程序的編譯過程;詳細(xì)地介紹了LL(1)和LR(1)的分析方法,不僅可以幫助讀者了解如何做,還使他們知道為什么這樣做;同時(shí)介紹了編譯程序的設(shè)計(jì)方法,引入了一個(gè)重要的方法——代數(shù)形式化方法。
《編譯原理:包含代數(shù)方法的新編譯方法(英文版)》適合作為計(jì)算機(jī)和電子專業(yè)本科生和研究生教材,也可供相關(guān)學(xué)科研究人員參考。
中國暨南大學(xué)和印度尼西亞瑪中大學(xué)教授,印度尼西亞瑪中大學(xué)信息技術(shù)研究中心主任,美國紐約科學(xué)院院士,計(jì)算機(jī)科學(xué)專家! 猋unlin Su(蘇運(yùn)霖) 美國麻省理工學(xué)院和英國貝德福特大學(xué)教授,國際計(jì)算數(shù)論和密碼學(xué)界著名專家! 猄ong Y.Yan(顏松遠(yuǎn))
Chapter 1 Introduction
1.1 Language and Mankind
1.2 Language and Computer
1.3 Compilation of Programming Languages
1.4 Number of Passes of Compiler
1.5 An Example of Compilation of a Statement
1.6 Organization of the Book
Problems
References
Chapter 2 Grammars and Languages
2.1 Motivation of the Chapter
2.2 Preliminary Knowledge
2.3 Grammar
2.4 Language
2.5 Language Generated by a Grammar
Chapter 1 Introduction
1.1 Language and Mankind
1.2 Language and Computer
1.3 Compilation of Programming Languages
1.4 Number of Passes of Compiler
1.5 An Example of Compilation of a Statement
1.6 Organization of the Book
Problems
References
Chapter 2 Grammars and Languages
2.1 Motivation of the Chapter
2.2 Preliminary Knowledge
2.3 Grammar
2.4 Language
2.5 Language Generated by a Grammar
2.6 Turing Machine
2.7 Issues Concerning Grammars and Languages
Problems
References
Chapter 3 Finite State Automata and Regular
Languages
3.1 Motivations of the Chapter
3.2 Languages, Grammars and Automata
3.3 Deterministic Finite Automata
3.4 Nondeterministic Finite Automata
3.5 Regular Expressions
3.6 Regular Grammar
3.7 Kleene's and Moore's Theorems
3.8 Pumping Theorems and Closure Properties for LREG
3.9 Applications of Finite Automata
3.10 Variants of Finite Automata
Problems
References
Chapter 4 Lexical Analysis
4.1 Motivation of the Chapter
4.2 Lexical Analyzer
4.3 Output of Lexical Analyzer
4.4 Error Handling
Problems
References
Chapter 5 Push-Down Automata and Context-Free Languages
5.1 Motivation of the Chapter
5.2 Push-Down Automata
5.3 Context-Free Languages (LCF)
5.4 Pumping Theorems for Context-Free Languages
5.5 Push-Down Automata and Context-Free Languages
5.6 Applications of Context-Free Languages
5.7 Turing Machines
5.8 Turing Machines as Language Accepters
5.9 Equivalence of Various Turing Machines
5.10 Recursively Enumerable Languages (LRE)
5.11 Context-Sensitive Languages (LCS)
5.12 Hierarchy of Machines, Grammars and Languages
5.13 Relations Among Machines, Languages and Grammars
5.12.1 Hierarchy of Machines
Problems
References
Chapter 6 Context-Free Grammars
6.1 Motivation of the Chapter
6.2 Context-Free Grammars
6.3 Characteristics of Context-Free Grammars
Problems
……
Chapter 7 Syntax Analysis
Chapter 8 Attribute Grammars and Analysis
Chapter 9 Algebraic Method of Compiler Design
Chapter 10 Generation of Intermediate Code
Chapter 11 Debugging and Optimization
Chapter 12 Storage Management
Chapter 13 Generation of objece code
Chapter 14 Compilation of object-oriented Languages
Chapter 15 Compilation of parallel Languages
Chapter 16 Compilation of Grid Computing
Index