Week 3 notes for Western SE 3310 Theoretical Foundations of Software Engineering
Theorem 1: Theorem - All DFAs have an equivalent NFA
Theorem 2: Theorem - All NFAs have an equivalent DFA
By Theorem 1 and Theorem 2, we find that the set of languages recognized by DFAs and NFAs are equivalent, i.e., the regular languages.