Finite State Machine
Apakah string ini termasuk dalam
L
?
L = { x ∈ (0+1)⁺ | x ends with 1 & x has no substring "00" }
State transition diagram
start
0
1
0
1
0
1
0, 1
S
A
B
C
accept state
trap state
Input string
x =
Check →
Clear
Examples to try
✓ Should accept
1
01
101
0101
10101
10111
011
✗ Should reject
0
10
001
100
1001
00
1100
Result
?
Awaiting input
Enter a binary string above and click Check
State trace
History
clear all
0
total
0
accepted
0
rejected