语言
语言 = 文法所产生的句子的全体
文法 = (终结符Token,非终结符N,开始符号S,产生式P)
语言定义
- 词法—单词符号的形成规则
- 常数、标识符、基本字、算符、界符
- 描述工具:有限自动状态机
- 语法—语法单位的形成规则
- 表达式、语句、子程序、过程、函数、程序
- 描述工具:上下文无关文法
- 语义
- 描述数据(抽象)
- 基本类型—Int、Long、char
- 复杂类型—数组、对象
- 数据操作
- 算法—异步、并发、IO、Socket
- 描述数据(抽象)
语言特性(类型 子结构 io)— 计算机模型
- 结构化—子程序
- 递归
- 模块化
- 循环语句—for循环、while循环
- 作用域
- 面向对象
- 类、继承、多态、动态绑定
- 函数的定义与调用、匿名函数与闭包、lambda函数
- 数据类型与操作
- 数值类型
- 算数运算+,-,* ,/, %
- 逻辑类型
- 字符类型
- 指针类型
- 指针运算
- 数值类型
- 内存
- 变量
- 静态类型系统
- 类型推导
- 类型与接口
- 元编程
- 内置对象
- 垃圾回收
- 错误处理
- 异步编程与并发编程