首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类：
computability
algorithm - 是否存在可以解决 Vim Golf 问题的算法
c++ - 模板元编程 : Primitive Recursive?
computer-science - 由简单计算生成的复杂行为
haskell - Agda 的停机问题？
computation-theory - 是否有任何非 RE-hard 的递归可枚举问题？
computation-theory - 图灵机可以执行快速排序吗？
异或 (XOR) 加密的安全性
computer-science - 多时间函数类是否可以递归枚举？
functional-programming - lambda 演算等价于图灵机是什么意思
computer-science - 可判定性和递归可枚举性
brainfuck - Brainfuck 修改版的图灵完备性
theory - 图灵机不能接受的所有已知语言是什么？
numbers - PI 是图灵可计算数吗？
theory - lambda 演算的图灵完备性？
quine - 写一个 Quine 的 "trick"是什么？
computer-science - 什么是图灵机？
theory - 为什么康威的生命游戏可以被归类为通用机器？
notation - 为了证明某件事是 NP 困难的，为什么需要从 NP 完全简化到它？
regular-language - 无限的语言不可能是正则的吗？什么是有限语言？
css - 粘性页脚在 IE 中不起作用
«
1
2
»
热门标签：
编程
数据结构与算法
其他