Можете ли вы иметь две стрелки, переходящие из одного состояния в другое в конечном автомате?

Question

Предположим, что оба входных и выходных алфавита равны {0,1}, а две исходящие стрелки, которые приходят в одно и то же состояние, имеют противоположные входные данные.

Answer 1

Да, у вас может быть что-то вроде этого:

 |---- 0 ----|
 |           v
[A]        [[B]]
 |           ^
 |---- 1 ----|

В приведенном выше примере [[B]] завершается.