字符串-一流百科

算法信息论

简介算法信息论 (AIT) 是理论计算机科学的一个分支，它关注计算与可计算生成对象（与随机生成对象相对）的信息之间的关系，例如字符串或任何其他数据结构。换...

词条百科

递归可枚举语言

递归可枚举语言在数学、逻辑和计算机科学中，一种形式语言被称为递归可枚举的（也可识别的、部分可判定的、半可判定的、图灵可接受的或图灵可识别的）如果它...

词条百科

马尔可夫算法

马尔可夫算法在理论计算机科学中，马尔可夫算法是一种字符串重写系统，它使用类似语法的规则对符号字符串进行操作。马尔可夫算法已被证明是图灵完备的，这意...

词条百科

枚举器

枚举器枚举器是带有打印机的图灵机。图灵机可以使用该打印机作为输出设备来打印字符串。每次图灵机要向列表中添加一个字符串时，它都会将该字符串发送到打...

词条百科

后缀树

简介在计算机科学中，后缀树（也称为 PAT 树或更早的形式，位置树）是一种压缩的特里树，包含给定文本的所有后缀作为它们的键和文本中的位置作为它们的值。 ...

词条百科

空串

简介在形式语言理论中，空字符串或空词是长度为零的xxx字符串。形式理论形式上，字符串是有限的、有序的字符序列，例如字母、数字或空格。空字符串是序列长度...

词条百科

串接

串接在形式语言理论和计算机程序设计中，字符串连接是将字符串首尾相接的操作。例如，雪和球的串联是雪球。在串联理论（也称为弦理论）的某些形式化中，弦...

词条百科

字符串运算

简介在计算机科学中，在形式语言理论领域，经常使用各种字符串函数；但是，所使用的符号与计算机编程所使用的符号不同，一些理论领域常用的函数在编程时很少...

词条百科

C字串函式库

简介C 编程语言在其标准库中有一组函数实现对字符串（字符串和字节串）的操作。支持复制、连接、标记化和搜索等各种操作。对于字符串，标准库使用字符串以 nu...

词条百科

生产系统（计算机科学）

简介生产系统（或生产规则系统）是一个通常用于提供某种形式的人工智能的计算机程序，它主要由一套关于行为的规则组成，但它也包括在系统对世界状态做出反应...

词条百科

痕量单体

什么是痕量单体在计算机科学中，痕量是一组字符串，其中字符串中的某些字母被允许换位，但其他字母则不允许。它概括了字符串的概念，不强迫字母总是按固定的...

词条百科

单数语言

什么是单数语言在计算复杂性理论中，单数语言或理数语言是一种形式语言（一组字符串），其中所有的字符串都有1k的形式，其中1可以是任何固定符号。例如，语言...

词条百科

子串

什么是子串在形式语言理论和计算机科学中，子串是一个字符串中连续的字符序列。例如，thebestof是Itwasthebestoftimes的一个子串。相反，Itwastimes是Itwasth...

词条百科

字符串（计算机科学）

字符串（计算机科学）在计算机编程中，字符串传统上是一个字符序列，可以作为一个字面常数或某种变量。后者可能允许其元素被突变，长度被改变，也可能是固定...

词条百科

字符串操作

字符串操作在计算机科学中，在形式语言理论领域，经常使用各种字符串函数；但是，所使用的符号与计算机编程所使用的符号不同，一些在理论领域常用的函数在编...

词条百科

稀疏语言

什么是稀疏语言在计算复杂性理论中，稀疏语言是一种形式语言（一组字符串），其复杂性函数，计算语言中长度为n的字符串的数量，被n的多项式函数所约束。它们...

词条百科

最短共同超序列问题

最短共同超序列问题在计算机科学中，两个序列X和Y的最短共同超序列是以X和Y为子序列的最短序列。这是一个与最长公共子序列问题密切相关的问题。给定两个序列X...

词条百科

范围串联语法

范围串联语法范围串联语法（RCG）是PierreBoullier在1998年提出的一种语法形式主义，试图描述自然语言的一些现象，如中文数字和德语词序扰乱，这些现象超出了...

词条百科

递归可列举语言

递归可列举语言在数学、逻辑学和计算机科学中，如果一种形式语言是该语言字母表上所有可能的词语集合中的一个可递归可列举的子集，也就是说，如果存在一台图...

词条百科

形式语言的商数

形式语言的商数在数学和计算机科学中，一种语言的右商（或简称商数）。{displaystyleL_{1}}的右商相对于语言L2{displaystyleL_{2}}是由字符串w组成的语言，其...

词条百科

后规范系统

后规范系统Postcanonicalsystem，又称Postproductionsystem，由EmilPost创造，是一种字符串处理系统，它从有限的许多字符串开始，通过应用有限的j套特定形式...

词条百科

解析表达式语法

简介在计算机科学中，解析表达式语法（PEG）是一种分析形式语法，即它用一套识别语言中的字符串的规则来描述一种形式语言。这种形式主义是由BryanFord在2004...

词条百科

解析器组合器

解析器组合器在计算机编程中，解析器组合器是一个高阶函数，它接受几个解析器作为输入并返回一个新的解析器作为其输出。在这种情况下，解析器是一个接受字符...

词条百科

字面运动语法

字面运动语法在语言学和理论计算机科学中，字面运动语法（LMG）是一种语法形式主义，旨在描述自然语言的某些外置现象，如主题化和跨序列依赖。LMG通过引入模...

词条百科

头部语法

什么是头部语法头部语法（HG）是CarlPollard（1984）提出的一种语法形式，是对无语境语法类的扩展。因此，头部语法是一种短语结构语法，而不是一种依赖性语法...

词条百科

等价（形式语言）

等价（形式语言）在形式语言理论中，两个语法的弱等价意味着它们生成相同的字符串集，也就是说，它们生成的形式语言是相同的。在编译器理论中，这个概念与强...

词条百科

空字符串

什么是空字符串在形式语言理论中，空字符串，或空字，是长度为零的xxx字符串。形式理论从形式上看，一个字符串是一个有限的、有序的字符序列，如字母、数字或...

词条百科

串联

什么是串联在形式语言理论和计算机编程中，串联是将字符串端到端连接起来的操作。例如，雪和球的连接就是雪球。在某些形式化的连接理论中，也称为字符串理论...

词条百科

最近的字符串

最近的字符串在理论计算机科学中，最近的字符串是一个NP-hard计算问题，它试图找到一组输入字符串的几何中心。为了理解中心这个词，有必要在两个字符串之间定...

词条百科

布尔佐夫斯基导数

布尔佐夫斯基导数在理论计算机科学，特别是形式语言理论中，布尔佐夫斯基导数{displaystyleS}的一个字符串和一个字符串的字符串和一个字符串u{displaystyleu}...

词条百科

1 2