正则语言与有穷自动机
本课程为理论计算机科学基础,比起计算机,更像是一门数学课。主要讨论什么是计算。
假定我们定义了计算,那么计算问题可以分成两类。一类是能算的,一类是不能算的。我们会学到一些判断方法。
对于能算的问题,也可以分成容易算的和难计算问题。比如RSA密码学就是利用了一个幂次模方程双向求解的难易度不同设计的。容易计算的问题,对其的计算称为有效计算。如何区别这两类问题,也是本课程的一部分。
共计 72 篇文章,9 页。
本课程为理论计算机科学基础,比起计算机,更像是一门数学课。主要讨论什么是计算。
假定我们定义了计算,那么计算问题可以分成两类。一类是能算的,一类是不能算的。我们会学到一些判断方法。
对于能算的问题,也可以分成容易算的和难计算问题。比如RSA密码学就是利用了一个幂次模方程双向求解的难易度不同设计的。容易计算的问题,对其的计算称为有效计算。如何区别这两类问题,也是本课程的一部分。
让我们列出一些常见的素数:
\[2,3,5,7,9,11,13,17,19,23...\]首先我们可以发现:
当然,更重要的事实是在最后的省略号。
我们有无穷多个素数吗?