Turing machine should execute without a final state

Description of the bug

Mentioned in #577

What is not so much is the requirement that there must be at least one final state. See the image below. The lack of any final state should not prevent the machine from executing.

To reproduce

No response

Expected behavior

No response

Additional information