ChatDiagram
finite automaton · state diagram · computer science

NFA for Strings Ending in 01

種類 状態遷移図規格 OMG UML 2.5.1 §14 + Harel (1987) statechartエンジン schematex-state更新日 2026/5/27
NFA for Strings Ending in 01
Drawing preview
依頼内容

“An NFA over {0, 1} for strings ending in 01. The start state S loops on 0 and 1 and guesses the last two symbols through A to the accepting state B.”

次はこちらConvert this NFA to a DFAChange it to strings ending in 011
この図に含まれるもの

図の背後にある意思決定を読み解く。

01

Adding state 'A' to remember a 0 before a 1

02

Using non-determinism to start pattern on any 0

03

Marking accepting state 'B' with a note instead of terminal state to allow ongoing transitions

When modeling finite state machines for pattern recognition in theoretical computer science or compiler design classes.

状態遷移図のテンプレートをすべて見る →