This subsection describes modules relating to regular expressions and finite automata. The Reg module defines the abstract type of regular expressions. The LP module defines the abstract type of labeled paths. The Tran module defines the concrete type of finite automata transitions, and the TranSet module provides operations on sets of transitions. The FA module defines the abstract type of finite automata, and the EFA, NFA and DFA modules define the abstract types of a series of increasingly more restrictive kinds of automata, the empty-string finite automata, nondeterministic finite automata, and deterministic finite automata, respectively. The TranReg module defines the concrete type of regular expression finite automata transitions, and the TranSet module provides operations on sets of regular expression finite automata transitions. Finally, the RFA module defines the abstract type of regular expression finite automata.
Forlan Version 4.15
Copyright © 2022 Alley Stoughton