nondeterministic finite automataThis note last modified September 1, 2024 finite automataarbitrary transition functions coming out