Creates an NFA with given start and end states.
start
end
new({required this.start, required this.end});