Finite automata 这甚至可以通过FSM创建吗？

我有一个问题，要求我创建一个有限状态机，它只接受以1000结尾的字符串。问题是，我认为这是不可能的，因为FSM如何知道字符串何时结束？还是我遗漏了什么？

FSM在看到

1000

后应该处于终端状态，在附加输入时切换到非终端状态。

它需要以1000结尾，因此与字符串001000一样工作，但字符串00100011即使包含1000也不工作。没有问题。当FSM接收到额外输入时，它将从接受状态转换为不接受状态。