形式语言与自动机
关注
分享
扫一扫
文章平均质量分 93
形式语言与自动机是计算机科学的核心理论基础，研究符号、语法规则及其计算模型。形式语言用于描述编程语言、协议等，自动机则是识别和处理这些语言的抽象机器。本专栏深入探讨正则语言、上下文无关语言、图灵机等概念，解析其在编译器设计、自然语言处理等领域的应用，帮助读者掌握计算理论的核心思想与实践技能。
Vitalia
Rebuild the world with 0s and 1s.
展开
-
深入理解 Prefix Set（前缀集合）：定义、应用与实现
前缀集合是字符串集合中所有可能前缀的集合。它在字符串匹配、自动补全、字典树等场景中有广泛应用。可以通过暴力枚举或字典树等数据结构高效实现。通过理解前缀集合的概念和应用，可以更好地解决与字符串处理相关的问题。原创 2025-02-17 13:18:35 · 827 阅读 · 0 评论 -
形式语言与自动机【笔记整理(六)】Petri 网与时间自动机
Petri netTimed Automata原创 2018-01-01 08:39:00 · 3645 阅读 · 0 评论 -
形式语言与自动机【笔记整理(二)】上下文无关文法与下推自动机
Context Free Grammar 上下文无关文法；Pushdown Automata 下推自动机；The Pumping Lemma 泵引理原创 2017-12-24 14:29:06 · 4482 阅读 · 0 评论 -
形式语言与自动机【笔记整理(五)】迁移系统
Transition System 迁移系统；CTL*原创 2017-12-31 11:02:42 · 1076 阅读 · 0 评论 -
LL(1)文法与左递归
没有超群的记忆力和过目不忘的能力，担心自己忘了，就写下来好啦。考虑如下文法， S -> SA | A A - >a如何说明该文法是LL(1)的？我们首先要明确，LL(1)是文法的一种性质，它描述的是这样一种文法， Predictive parsers, that is, recursive-descent parsers needing no b...原创 2018-04-02 11:15:55 · 6539 阅读 · 1 评论 -
形式语言与自动机【笔记整理(三)】图灵机与递归语言、递归可枚举语言
Turing Machines 图灵机；Recursive Languages 递归语言；Recursively Enumerable Languages 递归可枚举语言原创 2017-12-25 20:08:00 · 3567 阅读 · 0 评论 -
形式语言与自动机【笔记整理(四)】可判定性与可计算性
Decidability 可判定性；Complexity 复杂度；可计算性原创 2017-12-30 10:35:26 · 3394 阅读 · 0 评论 -
形式语言与自动机【笔记整理(一)】有穷自动机与正则表达式
Finite Automata 有穷自动机；Regular Expression 正则表达式：基本概念介绍原创 2017-12-24 09:02:08 · 2993 阅读 · 0 评论