computation-theory
-
上下文无关文法的算法
-
证明这种语言是可判定的还是不可判定的
-
需要构造DFA（确定性有限自动机）
-
可设计的 dfa 数
-
表明空性和有限性对于线性有界自动机是不可解的
-
{ w |在 w 的每个奇数位置都是 1}
-
将规则表达式转换为 DFA
-
PCRE 正则表达式不能描述什么？
-
我们在 NICE 编程语言中使用浮点数代替实数。为什么？
-
字符串的前缀
-
字符串归纳？ （自动机相关）
-
TM能识别但TM不能决定的语言？
-
如何计算功能点
-
(a*+b*) 生成的字符串类型是什么
-
试图理解简单的大数计算
-
令 L1={a^nb^mc^(n+m) / n,m > 0} 且 L2={a^nb^nc^m / n,m > 0}。是否 L3= L1 ∩ L2 context-free或不？
-
停止的确切原因是什么
-
递归和递归可枚举语言有什么区别
-
输入符号为 {0,1,2} 且倒数第二个符号为 1 的最小 DFA 中的状态数是多少？
-
承认这种语言的最少州数是多少？