Loading AI tools
来自维基百科,自由的百科全书
在数学和计算机科学中,可识别语言是可被有限状态机识别的形式语言。等价的说,可识别语言是语法关系的商的家族为有限的的形式语言。
此條目没有列出任何参考或来源。 (2019年3月13日) |
给定一个幺半群 M,在 M 上的语言简单的是子集 。这样的语言被称为在 M 上可识别的,如果有在 M 上的有限状态机接受 L 作为输入。在 M 上的有限状态机简单的是以 M 的元素作为输入,接受或拒绝它们的有限自动机。
在 M 上的可识别语言的家族指示为 。
如果 M 是在某个字母表 上自由幺半群 ,则家族 是正则语言 的家族。
这是一篇與逻辑学相關的小作品。您可以通过编辑或修订扩充其内容。 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.