Preliminaries on Non-determinism

How to compute with non-deterministic FSAs

How to compute with NFAs: an example

More compact automata through non-determinism

Compact automata via non-determinism (example)

Examples of NFAs

Formal Definition of NFAs

Formal Definition of Computation for NFAs

Equivalence of NFAs and DFAs

Equivalence of NFAs and DFAs (Example)

Closure under regular operations

Summary