Section 1.2 Nondeterminism, Formal definition of nondeterministic finite automation
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
