Report - Automata on Finite Words - richmodels.epfl.chrichmodels.epfl.ch/_media/slide2.pdfDefinition A non-deterministic finite automaton (NFA) over Σ is a tuple A = hS,I,T,Fi where: •

Please pass captcha verification before submit form