Deterministic Finite Automata (DFA) - 11-01-2024
Deterministic Finite Automata (DFA) - 11-01-2024
Deterministic Finite Automata (DFA) - 11-01-2024
(abc+)+
Construct a DFA to accept a string containing two consecutive zeroes followed by two
consecutive ones
Construct a DFA to accept a string containing even number of zeroes and any number of
ones
Construct a DFA to accept all strings which do not contain three consecutive zeroes
Construct a DFA to accept all strings containing even number of zeroes and even number of
ones
Construct a DFA to accept all strings which satisfies #(x) mod 5=2
Construct a DFA to accept all strings (0+1)* with an equal number of 0's & 1's such that
each prefix has at most one more zero than ones and at most one more one than zeroes
All strings that contain exactly 4 0s.
q0 q1 q2 q3 q4
N
All strings ending in 1101.
q0 q1 q2 q3 q4
q0 q1 q2 q3 q4
q5 q6 q7 q8 q9
q0 q1 q2 q3 q4
q0 q1 q2 q3 q4
All strings that start with 0 and has odd length or start with 1 and has even length.
q0 q1
q2
q0 q1 q2 N
N
All strings where every odd position is a 1.
N q0 q1
q1 q2
q0
q3 q4
1*01*01*
q0 q1 q2 N
1*01*0(0+1)*
q0 q1 q2
(0+1)*(00+11+10) + ^ + 0 + 1
q0 q1 q2
(00+11)(0+1)* + (0+1)*(00+11)
q0 q1 q2
q7
q3
q8
q5
q4
q6
q0 q1 q2
1*(01*01*)*
q0 q1
(1+01)*(^ + 0 + 00) (1+10)*
q0 q1 q2 N
q3 q4
(1+011)*
q0 q1 N
q2
q0 q1 q2 q3 q4
q6
q5
q7
q9
q8
(10+11)*
q0 q1
N
(0+1)*(1+00) (0+1)*
q0 q1
q2
(111+100)*0
q4 q0
N q2 q1 q3
q2 q3
q0
q1 N
(0+1)* (01+110)
q0 q1 q2 q5
q3 q4
(1+110)*0
q0 q1 q3
N q2 q4
(1+10+110)*0
1(01+10)* + 0 (11+10)*
(010+00)* (10)*