NFA with ε 19-12-2020