DFA
Alphabet: a
States: 1
Init: 1
Final: 1
Transitions:
1;a;1
END
not finiteDFA
Alphabet: a
States: 1;2;x
Init: 1
Final: 2
Transitions:
1;a;2
2;a;x
x;a;x
END
is finiteDFA
Alphabet: a;b;c;d
States: x;1;2;3;4
Init: 1
Final: 2;4
Transitions:
x;a;x
x;b;x
x;c;x
x;d;x
1;a;2
1;b;x
1;c;x
1;d;x
2;a;x
2;b;3
2;c;x
2;d;x
3;a;x
3;b;x
3;c;4
3;d;x
4;a;x
4;b;x
4;c;x
4;d;x
END
is finiteDFA
Alphabet: a;b;c;d
States: x;1;2;3;4
Init: 1
Final: 4;3
Transitions:
x;a;x
x;b;x
x;c;x
x;d;x
1;a;3
1;b;2
1;c;x
1;d;x
2;a;x
2;b;x
2;c;3
2;d;1
3;a;x
3;b;x
3;c;4
3;d;x
4;a;x
4;b;x
4;c;x
4;d;1
END
not finiteDFA
Alphabet: a;b;c
States: p;q;r
Init: p
Final: r
Transitions:
p;a;p
p;b;p
p;c;q
q;a;q
q;b;q
q;c;r
r;a;r
r;b;r
r;c;r
END
not finite