@override Nfa toNfa() { final start = NfaState(isEnd: false); final end = NfaState(isEnd: true); start.dots.add(end); return Nfa(start: start, end: end); }