折叠系统生成语言类的泵引理
摘要：几何折叠过程在自然系统中普遍存在，范围从蛋白质生物化学到昆虫翅膀和叶片的图案。在前一项研究中，引入了一种形式语言之间的折叠操作作为这种过程的模型。然后，使用这种操作定义了一个折叠系统（F-system），该系统由包含要被折叠的字符串的核心语言和定义折叠方式的折叠程序语言组成。本文回顾了与F-system相关的主要定义，接下来确定了一个语言要属于由这种系统生成的类别的必要条件。这些条件以泵引理的形式给出，考虑了四个类别，其中核心语言和折叠程序语言均为正则语言，其中之一为正则语言，另一个为上下文无关语言，或者两者均为上下文无关语言。给出了引理的完全证明，并通过示例进行了分析。
作者：Jorge C. Lucero
论文ID：1910.08518
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-12