6 关系: 半自动机,字符串,上下文无关语言,语法幺半群,自由么半群,正则语言。
半自动机
在数学和计算机科学中,半自动机或M-act是幺半群在集合上的乘法性运算。从代数结构的观点来看,它非常接近于群作用的概念。从计算机科学的观点来看,它是只有输入没有输出的自动机。从范畴论的观点来看,作用是如范畴上的函子般重要。 这个概念也叫做S-集合、M-集合、M-操作数、S-系统、S-自动机、转移系统、算子幺半群、变换半群或转移幺半群。本文力图表现出它们表示的是同一个概念,尽管在使用中有各种概念和术语的变体。.
新!!: 字符串运算和半自动机 · 查看更多 »
字符串
字符串(String),是由零个或多个字符组成的有限序列。一般记为s.
上下文无关语言
上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。.
新!!: 字符串运算和上下文无关语言 · 查看更多 »
语法幺半群
语法幺半群,即在数学中,形式语言 L 的 语法幺半群 M(L) 是可识别语言 L 的最小的幺半群。.
新!!: 字符串运算和语法幺半群 · 查看更多 »
自由么半群
在抽象代數裡,於一集合A上的自由幺半群是指一幺半群,其元素都是由A內零個或多個元素以串接之二元運算形成的有限序列(或字符串)。通常標記為A*。其單位元為空字元串,標記為ε 或 λ。在A上的自由半群則指是A*內的子半群,其包含除了空字串外的所有元素。通常標記為A+。 更一般地,一抽象幺半群(半群)S被稱做是自由的,若其與某一集合上的自由幺半群(半群)同構。 如其名稱所述,自由幺半群(半群)為滿足定義了自由对象的泛性質的物件,在幺半群(半群)的範疇裡。它允許每一個么半群(半群)都會是某一自由幺半群(半群)的同態映像。研究半群為自由半群的映像的學科稱做組合半群理論。.
新!!: 字符串运算和自由么半群 · 查看更多 »
正则语言
正规语言又称正则语言是满足下述相互等价的一组条件的一类形式语言:.
新!!: 字符串运算和正则语言 · 查看更多 »