在形式语言理论中,有限自动机通常作为语言的识别器来使用,作为识别器,有限自动机的输出可以被忽略,而由最后达到的状态去决定输入序列是否具有给定的性质,这种有限自动机也称为有限接收机,按其下步状态是否完全确定,有限识别器可分为确定型和非确定型两种,它们分别与确定型和非确定型有限自动机相对应,它们也都接受同一类语言,即正则语言。
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。