Automata & Grammar Playground
Made for CS Theory course project
Automaton Settings
Ends with '11' (Binary Alphabet)
Even Count of '0's (Binary)
Contains Substring 'ab'
New State:
Add
New Alphabet Symbol:
Add
Start State:
q0
q1
q2
Accept States:
q0
q1
q2
Transition Function (𝛿):
State
𝛿(q, '0')
𝛿(q, '1')
q0
START
q0
q1
q2
[REJECT]
q0
q1
q2
[REJECT]
q1
q0
q1
q2
[REJECT]
q0
q1
q2
[REJECT]
q2
q0
q1
q2
[REJECT]
q0
q1
q2
[REJECT]
Execution Engine
Test Input String:
Initialize
Quick Test Suite
11
Expect: Fail
1011
Expect: Fail
110
Expect: Fail
0000
Expect: Fail
1111
Expect: Fail
011
Expect: Fail
01011
Expect: Fail
101011
Expect: Fail
1110
Expect: Fail
0011
Expect: Fail
© 2026 Luka Mamukashvili
The FatCow Icon set was created by
FatCow Web Hosting
.
It's licensed free of charge under the
Creative Commons Attribution 3.0 License
.