关于上下文无关语言泵引理的简短综述
形式语言与自动机理论
2024-03-26 v1
摘要
在作者为计算机科学学生讲授自动机理论课程之后，本文将以高度综合且基本自包含的方式介绍上下文无关语言的主要性质，特别关注泵引理，以及生成这些语言的文法。我们引用Chomsky和Schützenberger的早期工作。文献中称为迭代定理的内容，这里将完全合理地称为Ogden引理。所有与上下文无关性概念不严格相关的定义将被省略（我们将给出所有定义的精确参考文献）。所使用的符号基本上是经典的，但我们会替换一些符号以避免与逻辑中使用的符号混淆。
引用
@article{arxiv.2403.15899,
title = {A short survey around the pumping lemma for context-free languages},
author = {Gabriele Gullà},
journal= {arXiv preprint arXiv:2403.15899},
year = {2024}
}