当前位置:首页 > 科技文档 > 软件 > 正文

广义标准自动机及其商自动机

摘要: 文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。 (共4页)

开通会员,享受整站包年服务
说明: 本文档由创作者上传发布,版权归属创作者。若内容存在侵权,请点击申诉举报