Version 1.1

• Preface
• Syntax/Input
• Conversion
• The Application
• Version 1.1

Version 1.1

The following has been added

• Comments can inserted with # as prefix. The comment ends with newline ex. # I'm a comment.
• I have made it a choice whether the application should terminate when a cycle is discovered. It happens to be so that some NFA's that can be converted, contains cycles.
• I'm more and more convinced that the intended behavior of such a converter is to allow infinite loops in epsilon closures. Thus now the algorithm adds to e-closure by fixpoint: If an element do not exist in the new closure, add it and the ε-closure of that element. Otherwise skip and examine the next element.

The following are on the TODO-list

• Remove the circular error handling.
• Maybe use HashSet instead of lists when calculating closure paths.

Share