Nondeterministic Finite Automata: NFA's 1

This video introduces Nondeterministic Finite Automata (NFA's) and the crucial concept of branching, which will be further explored in the NFA's 2 video. It can move quickly, so please pause and rewind as necessary!

Thanks to Professor Amy Briggs (Middlebury College) for introducing me to this material, as well as Dexter Kozen (Cornell University) for the text that we used and Wayne Goddard (Clemson University) for the additional perspective provided by his text.