编程语言通识

相关概念

乔姆斯基谱系：计算机科学中刻画形式文法表达能力的一个分类谱系，包括0型（无限制文法）、1型（上下文相关文法）、2型（上下文无关文法）、3型（正则文法）等四型文法；
巴斯克范式：一种用于表示上下文无关文法的语言，用来描述计算机语言语法的符号集。其规定是推导规则（产生式）的集合，写为：<符号>::=<使用符号的表达式>
BNF理解乔姆斯基谱系:
0型：? ::= ?
1型： ?<A>? ::= ?<B>?  --例如-->{ get a{return 1}, get:1 }
2型：<A> ::= ?  --例如-->2**1**2
3型：<A> ::= <A>?  不能是 <A> ::= ?<A>
图灵完备性：在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机，那么它是图灵完全的。if 、while 、goto
类型系统：

• 动态类型系统与静态类型系统
• 强类型与弱类型
• 复合类型 ：结构体、函数签名等
• 子类型：逆变/协变
  一般命令式编程系统结构
• Atom : Identifier、Literal
• Expression: Atom、Operator、Punctuator
• Statement: Expression、Keyword、Punctuator
• Structure:Function、Class、Process、Namespace、Program
• Program:Program、Module、Package、Library

案例

正数

<Number> ::= "0" | "1" | "2" | ... | "9"  --正则--> /0|[1-9][0-9]*/

十进制数

<DecimalNumber> ::= "0" | (("1" | "2" | ...... | "9")<Number>*)

括号表达式

<PrimaryExpression> ::= <DecimalNumber> |
"(" <LogicalExpression> ")"

乘/除法表达式

<MultiplicativeExpression> ::= <PrimaryExpression> |
<MultiplicativeExpression> "*" <PrimaryExpression> |
<MultiplicativeExpression> "/" <PrimaryExpression>

加减法表达式

<AdditiveExpression> ::= <MultiplicativeExpression> |
<AdditiveExpression> "+" <MultiplicativeExpression> |
<AdditiveExpression> "-" <MultiplicativeExpression>

逻辑表达式

<LogicalExpression> ::= <AdditiveExpression> |
<LogicalExpression> "||" <AdditiveExpression> |
<LogicalExpression> "&&" <AdditiveExpression>

JS |词法、类型

相关概念

字符编码：字集码是把字符集中的字符编码为指定集合中某一对象（例如：比特模式、自然数序列、8 位元组或者电脉冲），以便文本在计算机中存储和通过通信网络的传递。
Unicode：又称万国码、国际码、统一码、单一码。是计算机科学领域里的一项业界标准。它对世界上大部分的文字系统进行了整理、编码。需要注意的是，Unicode 只是一个符号集，它只规定了符号的二进制代码，却没有规定这个二进制代码应该如何存储。而UTF-8 是在互联网上使用最广的一种 Unicode 的实现方式，另外还有UTF-16、UTF-32等。
JS的InputElement:WhiteSpace、LineTerminator、Comment、Token、Punctuator。