主页

上下文无关文法

前一篇描述了正则语言的描述方法,但是他并不能描述所有语言,比如01等的情况。 本章介绍一种能力更强的描述数学语言的模型,称为上下文无关文法。它能够描述某些应用广泛的具有递归结构特征的语言。

阅读更多

结构体指针

指针问题的核心就是认识到:指针的地址和指针的内容是两码事。它们同时归属于一个对象,却有着完全不同内涵。只要深刻把握了这一点,小心考察每一个已使用指针。犯错的可能性就会大幅度降低。

阅读更多

正则语言与有穷自动机

本课程为理论计算机科学基础,比起计算机,更像是一门数学课。主要讨论什么是计算

假定我们定义了计算,那么计算问题可以分成两类。一类是能算的,一类是不能算的。我们会学到一些判断方法。

对于能算的问题,也可以分成容易算的和难计算问题。比如RSA密码学就是利用了一个幂次模方程双向求解的难易度不同设计的。容易计算的问题,对其的计算称为有效计算。如何区别这两类问题,也是本课程的一部分。

阅读更多

素数

1. 无穷多的素数

让我们列出一些常见的素数:

\[2,3,5,7,9,11,13,17,19,23...\]

首先我们可以发现:

2 is the oddest prime number!

当然,更重要的事实是在最后的省略号。

我们有无穷多个素数吗?

阅读更多

为什么不喜欢思考

$\quad$讲道理,标题起的好的确是吸引力高出数倍。《为什么学生不喜欢上学》,这本书的标题确实吸引了我。本文写在阅读之后。主要回答三个问题:思考如何进行?如何记忆?如何保护脆弱的思考欲望?

阅读更多

论语选读

论语译注·摘录

这篇文章是从杨伯峻先生的《论语译注(简体版)》中摘抄而来。其中记载了我比较感兴趣的篇章字句。作为略读一遍论语的证据。

阅读更多