Automata Theory and Formal Languages
Instructions:
Draw the DFA (Deterministic Finite Automaton) of the
following:
DFA in which set of all strings can be accepted which end with
‘a’
DFA in which set of all strings can be accepted which start
with ab
DFA in which set of all strings can be accepted which contain
ab
DFA in which set of all strings can be accepted which ends with
ab
Automata Theory and Formal Languages
Instructions:
Draw the DFA (Deterministic Finite Automaton) of the
following:
DFA for binary number divisible by 2
DFA for binary number divisible by 3
DFA in which set of all strings can be accepted which start
with a
DFA in which set of all strings can be accepted which contains
‘a’
Given two DFAs, A and B, show that you can construct a DFA C
such that L(C) = ∅ if and only if L(A) ⊆ L(B). Prove that your
construction works by proving the if and only if statement.
-
Give state diagram of DFA recognizing L={w | w is 0,1-string, and
contains 3k 0s and 2m 1s for some integers k and m at least 0}. For
examples, 0010111 is in L, but 010011 is not in L. The first string
contains 3 0s and 4=2x2 1s, but the second string has an odd number
of 1s.