fish ...

@lazzyboy 我用双拼…别人还真不一定有我快…（感觉 PC 端与手机端的速度差不多）

VPN 不就是解决这问题的嘛。
还用想啥

前 20%……这要求跪了……
符合第一条。
第二条，符合。
第三条 QAQ 没有最终的成果…
第四条跪了。

@linfx7 DH 交换无法抵御中间人攻击

问题一：
我是这么理解正则表达式的：它是有限自动机的一个实现（或者说一个实例）。有限自动机的实现还有 TCP 状态之间的转换。那么，IF-ELSE 这算是上下文无关语法的实现吗？

我不明白你所谓的实现是什么意思。正则表达式描述了一个语言结构，有限自动机来识别这个语言，正则表达式可以转换为有限自动机，有限自动机运行时和程序差不多，从某种意义上看，正则表达式也就是程序。有限自动机可以认为是一个抽象的模型，具体化下来可以有很多实例，如程序运行，协议运行。同样，if 结构也是一个语言，但是正则表达式描述不了，上下文无关语法可以描述。你所谓的实现，前后含义好像并不一样。在形式化方法中，你要定义实现，才能讨论后续的问题。如果你定义实现为一个实例，那么把有限自动机定义中的 5 元组分别给出来，可以得到很多具体的有限自动机例子，当然可以包含 TCP 转换。同样 CFG 的 4 元组分别给出了，可以得到很多具体的 CFG 例子，当然包含 if 结构。从这个意义上看，正则表达式是有限自动机的一个实现，就是不对的。

问题二：
没记错的话，含有 顺序连接 / 循环(WHILE) / 跳转(IF-ELSE) 这三种连接结构的计算机语言是完备的，这个完备性是怎么证明的呢？能给点相关的资料吗？
结构化程序设计的思想最早是 Dijkstra 提出的，用 baidu 找“选择 循环 顺序 Dijkstra ”，可以找到相关资料，还有 1966 年 Corrado Böhm 和 Giuseppe Jacopini 给出了证明。这些太老了，实在没有必要浪费时间去看。


我老师的回答= =

需要搞明白：IP 的作用是什么？
俩个字概括：寻路。
总线型的网络拓扑，任何连接在总线上的设备，都可以监听并收到这条链路上任何设备发出的包（网卡需要设置成混杂模式才可以收到）。而且，NIC （网络接口卡）的地址（以太网是 MAC ）是一般是唯一的（虽说一般，但可以认为是唯一的），也可以唯一确定一个局域网的设备。

那为什么还需要 IP 呢？

世界上不止一个局域网呀，许许多多的局域网，怎么路由这些数据包？网络号便是这个作用。（关键词：域间路由）。自治系统都有一个网络号，内部再划分好多小的自治域。每个自治域都有唯一的网络号。每一个局域网内的所有 IP 构成这个网络。

不太正常…
没有房补，有的能给到 300，有的 250 …

……我感觉，与你技术栈相关的职位就是一个萝卜一个坑。深入了，想拔出来都没法拔…

@am241 能详细讲一下吗

什么是有限状态机？这个问题…
老师上课给了这几个例子：
{ a^n b^n c^n | n >= 1 } 上下文有关文法，csl，1 型文法
{ a^m b^m c^n | m,n >= 1 } 上下文无关文法，cfl，2 型文法
{ a^k b^m c^n | k,m,n >= 1 } 有限自动机，3 型文法

注意 2 型文法与 3 型文法的区别：多了 m。 这可以理解为记忆性，是靠下推栈来实现的（ 3 型文法是 2 型文法的真子集）。

有限状态机的实现，实现就是正则表达式。是将 3 型文法转换为 NFA （不确定有限状态机）或者 DFA （确定有限状态机）。数学上可以证明 NFA 与 DFA 是等价的，但根据<<精通正则表达式>>这书的观点，在效果上他俩还是不一样的。

编译原理，语法分析（就是在讲上下文无关文法）后语法制导的翻译，有一章节内容在讲 if-else 的翻译。我是根据这点判断 if-else 属于上下文无关文法的。（如有错误请指正）。

其实，目前的所有计算机语言都可以说是上下文无关文法。但是它的超集：因为上下文无关文法无法解决--1.变量声明，2.函数参数检查这样的问题。实际上怎么实现？
老师在课上提到了符号表的一个作用：把上下文无关文法无法做到的事情放在语义分析里面做，这俩工作就是通过符号表在语义分析里面完成的。

if-else 我觉得是 cfg （上下文无关文法，2 型文法）。
因为词法分析中，if-else 可以用 cfg 实现。

@darrenliuwei 一个命令：gcc -S
换个字面的解释：AMD64 指令集，函数调用过程：第一、2 个参数，mov 到某个寄存器，rax 放系统调用号？ 再 syscall。
printf 第一个参数就是那个"%d"，第二个参数呢？：）

中

我只是看过一点点内核代码 QAQ

QAQ 我一定是跟了假的公司实习。
HR 告诉我，大学生实习，税是按照在职人员缴纳的。

@bajie 我那一年，分数线才比一本线高一分呢。通信，要 5k，还不一定能录取

@bajie 西电目前还没这么垃圾吧。至少我那年 CS 垫底分 8k，坐标安徽。