Finite automata

Math in View
DFAAn even number of 1s2 states

Opening the workspace

An incoming arrow marks the initial state, q0. Double circles mark accepting states: q0. Click a state to make it the start state, or use the state buttons in Machine. Drag or use arrow keys to pan; use the camera controls to zoom and fit. δ(q0, 0) = q0. δ(q0, 1) = q1. δ(q1, 0) = q1. δ(q1, 1) = q0.

Σ = {0, 1}Empty word: Λ

Ready to read0 / 5 read
Trace
100%
2 states · 2 symbolsExact finite computation