当前分类：computation-theory

time-complexity - 算法的复杂性和问题的复杂性。有什么区别？

compiler-construction - 可编译为无堆运行时的语言类

context-free-grammar - 平衡括号的上下文无关语法

functional-programming - lambda 演算等价于图灵机是什么意思

state-machine - 为什么这是一个无效的图灵机？

turing-machines - 如何判断一台机器是否是图灵机等价的

context-free-grammar - 这些与上下文无关的语法中的箭头运算符是什么？

computation-theory - 证明有限字母表上所有语言的集合是不可数的

grammar - 有人可以举一个上下文相关语法的简单但非玩具示例吗？

regular-language - 常规语言的抽动引理

finite-automata - DFA，NFA，PDA和图灵机在现实世界中的使用

regular-language - 需要有限自动机的正则表达式 : Even number of 1s and Even number of 0s

compiler-construction - 解释器、部分评估器和编译器的理论

computer-science - 递归和递归可枚举语言有什么区别

computer-science - 可判定性的要点和重要性

computer-science - 学习计算模型的好资源？

context-free-grammar - 在0.1之上的双字补码的上下文无关语法是什么？

computation-theory - 是否可证明 == 可判定？

computation-theory - 证明该语言是否可判定和可识别

regular-language - a*b* 是常规的吗？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们