可识别语言, 此條目没有列出任何参考或来源, 2019年3月13日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 在数学和计算机科学中, 是可被有限状态机识别的形式语言, 等价的说, 是语法关系的商的家族为有限的的形式语言, 定义, 编辑给定一个幺半群, 上的语言简单的是子集, displaystyle, subset, 这样的语言被称为在, 上可识别的, 如果有在, 上的有限状态机接受, 作为输入, 上的有限状态机简单的是以, 的元素作为输入. 此條目没有列出任何参考或来源 2019年3月13日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 在数学和计算机科学中 可识别语言是可被有限状态机识别的形式语言 等价的说 可识别语言是语法关系的商的家族为有限的的形式语言 定义 编辑给定一个幺半群 M 在 M 上的语言简单的是子集 L M displaystyle L subset M 这样的语言被称为在 M 上可识别的 如果有在 M 上的有限状态机接受 L 作为输入 在 M 上的有限状态机简单的是以 M 的元素作为输入 接受或拒绝它们的有限自动机 在 M 上的可识别语言的家族指示为 R E C M displaystyle REC M 例子 编辑如果 M 是在某个字母表 S displaystyle Sigma 上自由幺半群 S displaystyle Sigma 则家族 R E C S displaystyle REC left Sigma right 是正则语言 R E G S displaystyle REG left Sigma right 的家族 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 可识别语言 amp oldid 53562027, 维基百科,wiki,书籍,书籍,图书馆,