Существует три различных решения для реализации сопоставления регулярных выражений: DFA, NFA и Backtracking. Я ищу примеры:
- регулярное выражение, которое может быть решено с помощью DFA, и причина, почему DFA достаточно.
- регулярное выражение, которое требует NFA и причину, по которой NFA необходим.
- регулярное выражение, требующее возврата и причина, по которой необходим возврат.
Рекомендация для некоторой хорошей литературы по этой теме тоже была бы хороша.