Я пытаюсь построить определенные конечные автоматы вещественного числа, которое определяется как строка, начинающаяся с необязательного "+" или "-", за которой следует один нуль или непустая последовательность цифр, которые не начинаются с нуля. За ним следует десятичная точка, за которой следует непустая последовательность цифр.
Я построил регулярное выражение: /[+ | -]?(О | ([1-9][0-9]*)).[0-9]+/
Его можно протестировать на этом сайте: http://rubular.com/
Я действительно не уверен, как построить DFA, особенно учитывая, что должно быть определенное состояние, соответствующее каждому входу в таблице переходов.