Documentation Regular Expressions Analysis

In the workbench, regular expressions support the following operations.

• Convert to FSA, which converts the regular expression to a non-deterministic finite state automaton that accepts the same language.
• Convert ω Regular Expression to NBA – converts an ω-regular expression to a non-deterministic Büchi automaton (NBA) that accepts the same language;