Мне дали упражнение, чтобы найти DFA for base m no divisible by m
.Я узнал, как это сделать, благодаря этой ссылке , но затем я подумал, как бы мы подошли к этому упражнению, если бы оно создавало NFA
и затем преобразовывало его в DFA, используя метод построения подмножества.
Я понимаю, что мы можем вставить NULL moves
в каком-то месте, но я ищу прямой метод, где мы преобразуем проблему в NFA, видя только вопрос.Мы также можем создать регулярное выражение и создать NFA, но я не могу также получить регулярное выражение.
В качестве примера, для создания NFA для чисел, указанных в базе 4, которые делятся на 5.