第三部分:
编译系统与程序语言处理特别篇:
compiler 编译器
front end 前端
back end 后端
grammer 文法
syntax 句法
high level language 高级语言 HLL
interpreter 解释器
lexcial analyzer 词发分析器
parser 语法分析器
bottom to up 自底向上分析
top down 自顶向下分析
scanner 扫描器
abstract syntax tree 抽象语法树
lexeme 词素
LL 最左推导
LR 从左至右扫描,展开右侧非终结符
ambiguous grammar 二义性文法
derivation 推导
canonical 规范推导
left most 最左推导
right most 最右推导
context free 上下文无关
left linear 左线性文法
regular 正则文法
unrestricted 无约束
nonterminal 非终结符
production 产生式
finite automata 有限自动机 又穷自动机
halting state 停机状态
hash bucket 散列桶
hash collision 散列碰撞
semantic action 语义动作
generator 生成器
recognizer 识别器
translater 翻译器
yacc Yet another compiler compiler
CFG 上下文无关文法
PDA 下推自动机 push down automaton
Non Deterministic 不确定的
assertion 断言
formal language 形式语言
第四部分:
数学特别篇。
concept 概念
theory 理论
principle 原则
integer 整数
real number 实数
complex 复数
calculs 微积分
function 函数
domain 定义域
coordinate 坐标
axis 坐标轴
vector 向量
matrix 矩阵
set 集合
inductive definition 归纳法
enumeration 列举法
proof 证明
transformation 变换
functional 泛涵
discrete mathematics 离散数学
topology 拓扑学
algebra 代数
(算了困的不行,数学不想写了)