nondeterministic finite automataThis note last modified January 20, 2022 finite automataarbitrary transition functions coming out