当前分类:formal-languages

regular-language - RE : Odd length string over { 0, 1} 恰好包含两个 0

regular-language - 这是使用泵引理的正确方法吗?

finite-automata - 如何根据任意语言确定有限自动机的状态数?

parsing - 将给定的二义性算术表达式语法转换为明确的 LL(1)

infinite - 表明语言是无限的

regex - 语言和正则表达式的制定

computer-science - 无法在输入上写入的固定大小磁带图灵机相当于 DFA

methods - 形式方法、逻辑和 VDM 过去试卷问题

theory - 两种具有不同字母的语言的交集是什么?

python - 尝试生成简单形式语法的所有句子

algorithm - 有限语言的克莱恩之星什么时候免费?

检查上下文无关语法是否生成 DFA 拒绝的无限语言的算法

modeling - 从哪里获取硬件型号数据?

regular-language - 证明正则语言和自动机

formal-languages - 如何使用运算符获取 TLA+/PlusCal 中的序列元素之和?

regex - 需要帮助检查我的 CFG 问题是否正确

regex - 找到包含字母表 {a, b} 上的子字符串 aba 的字符串的正则表达式? (形式语言理论)

context-free-grammar - L* 和 Σ* 之间的差异

assert - 为什么这个愚蠢的后置条件没有被推断出来?

使编译永远循环的 C++ 代码示例

热门标签: