字符串运算
在计算机科学领域形式语言理论中，经常用到各种字符串函数；但是符号不同于计算机编程中所用到的，某些在理论领域中常用的函数，在编程中很少用到。本文定义其中一些基本术语。 字符串的字母表 字符串的字母表是在一个特定字符串中出现的所有字母的列表。如果 s 是字符串，则它的字母表指示为 :\operatorname{Alph}(s) 这可以等价地认为是先把字符串中的所有字母按照给定的顺序排好，再去掉其中重复者。 字符串代换 设 L 是一个语言，并…
标签：#形式语言
共 64 篇文章
实体语法系统
实体语法系统是针对生物复杂系统研究而提出的一种形式语法系统，用五元组(VN, VT, F, P, S)表示，其中各项分别为非末端字符集、末端字符集、操作子集、规则集和初始字符。实体语法系统源于诺姆·乔姆斯基的生成语法系统，但其中增加了操作子集F。操作子集合F中的每一个元素表示字符的一种组织方式，字符采用这些组织方式所组成的新的单元称为实体。此实体既可以是具体的物体，也可以是抽象的概念。 在实体语法系统中，当不考虑或者不区分非末端字符与末…
前缀文法
在计算机科学中，前缀文法是类似形式文法的一种文法，这里的字符串是从基础字符串通过不断的替代前缀建造出来的。前缀文法精确的描述了所有正则语言。 形式定义 前缀文法 G 是3-元组 (Σ, S, P)，这里的 Σ 是有限字母表 S 是在 Σ 上的基础字符串的有限集合 *P 是形如 u → v 的产生规则的集合，u 和 v 是 Σ 上的字符串 每个产生式 u → v 只可以应用于形如 uw 的字符串。 例子 一个简单的例子前缀文法可以定义为 …
预期释义
在逻辑中，给定某个形式语言 L，可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如，一阶逻辑的一阶语言 L，它包含意图指示真值函数合取、析取、实质蕴涵、否定，全称量化运算，和某些其他(较少的)运算的符号。在皮亚诺算术的语言中，谓词符号 '