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.
Draw an arrow on the test tubes (A, B, C) indicating the normal
hematocrit. Then draw arrows indicating the hematocrits for the
following cases. Record your explanation for the change in
hematocrit.
A. A patient has been vomiting for 1 week (stomach “bug”) and is
severely dehydrated.
B. An underweight 20-year-old vegan has been dieting for 3
months, losing 20 pounds. She was diagnosed with iron deficiency
anemia.
C. A hospitalized patient was overhydrated with IV fluid and
developed a...