formal-languages
-
Python Regex Split 以一种奇怪的方式进行交互
-
表明，对于任何语言 L1 和 L2，我们有 (1)。 L1L1^* = L1^*L1L1^*
-
使用递归下降解析器验证 "break" 语句
-
BNF 中的递归定义
-
表明语言是无限的
-
生成语言L的BNF文法
-
CFL 泵引理 L = {a^n b^m c^k d^k | n>m}
-
Z3：表达线性代数性质
-
形式语言 Npda 图
-
为什么 Coq 不能自己找出等式的对称性？
-
你能帮我理解这个答案吗？
-
为以下语言创建下推自动机
-
为什么我不能为函数的形参指定存储class？
-
2种上下文无关语言的集合差异是否上下文无关？
-
Coq证明中如何加强归纳假设？
-
是否需要参数
-
将正则表达式转换为 NFA 转换 table
-
证明语言的连接在 Agda 中是关联的
-
为动态语言创建单独的 "boolean expression" 规则
-
证明这种语言是否可判定和可识别