|
|
1 回复 | 直到 9 年前
|
1
2
无理数是一个无穷长的字符串,如果你想要一个能读取它的自动机,它需要继续无限地读取。 你不能构建一个判定器(一个总是以输出真或假停止的机器),但你可以构建一个接受器(一台以假停止,但永远为真继续的机器)。 考虑一台接受形式无理数的机器
其中
(对于这种机器的实现,我建议 The Annotated Turing ,它还有一个机器的实现√2.) |
推荐文章
|
Manohar · 冒泡排序中执行的平均掉期数 7 年前 |
|
|
krish · 检查给定的数字是否满意 7 年前 |
|
Nairit · 查找a^b最后一位的最有效方法 7 年前 |
|
Sitansu · 有可能设计一个接受无理数的自动机吗? 9 年前 |
|
|
gmfreak vabhdman · 计算非常大正整数幂函数的数字模 10 年前 |
|
|
chubakueno · 它比这个快吗? 11 年前 |