Поддерживает ли jflap оператор (+) в регулярном выражении?

Question

Регулярное выражение 01 (0 + 1)^*| 0⁺

Я хочу преобразовать это в минимизированный DFA. JFlap, кажется, не поддерживает данное регулярное выражение, как я могу проверить, что выражение имеет закрытие Клини?

Если он принимает такие выражения, есть ли специальный синтаксис для их ввода?