formal-languages
-
如何快速入门Isabelle的形式化语言标准来形式化描述建模语言？
-
Table-Driven Lexers - 保留关键字呢？
-
模型检查：安全和活性属性
-
是否有任何语言使得它们彼此是适当的子集并满足这些条件
-
PLY中双括号的含义
-
如何使用运算符获取 TLA+/PlusCal 中序列元素的总和？
-
生成所有唯一的 k 子序列
-
冒号是否可以与 Z 规范语言中的集合成员符号互换？
-
证明正则语言和自动机
-
Z 表示法：如何编写可以向关系添加一个或多个元组的操作模式
-
yacc 可以解析的语言有class 种？
-
逻辑等价
-
有人可以帮我将语法转换为正则表达式吗
-
语法的形式语言
-
语言和正则表达式的制定
-
语言 L = {a^(n)b^(m)c^(k): m = |i - k|} 的上下文无关文法
-
描述这个上下文无关文法生成的语言
-
(0001)* 的 DFA，是否正确
-
这是正确的 NFA 图吗？
-
构建一个 DFA 接受带有联合的语言