有限自动机可以存在而没有任何最终状态吗?

时间:2016-10-08 06:46:45

标签: regular-language computation-theory automata

构造一个不能接受任何语言的语言接受器是没有意义的。我特别谈到接受语言而不是传感器的翻译或翻译语言的翻译。

3 个答案:

答案 0 :(得分:1)

人们一直在建造它们。你有一组状态,每个状态最终都可以从其他状态访问,并且没有最终状态,所以它永远不会停止,尽管它可能会陷入循环循环。根本没问题。

搜索“繁忙的海狸”。

答案 1 :(得分:1)

维基百科页面上描述的mathematical model of a FSM指出最终状态的集合 F 可能为空。虽然如果将FSM用作识别器,但是一组空的最终状态并不常用,但FSM也可以用作换能器。

例如,Mealy machine不包含一组最终状态,因为它处理了作为输入的机器输出,这是感兴趣的。

答案 2 :(得分:0)

它不仅可以存在 - 它甚至是必要的:如何接受空集,这是常规语言之一。除非您使用具有无法访问状态的自动机,这与没有最终状态非常相似。