首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
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++ 代码示例
«
1
2
3
4
5
6
»
热门标签:
编程
数据结构与算法
其他