automata-model
CSE 355 project to validate requirements through Finite Automata.
Eric Arellano, ecarell1
Prerequisites
To install
Assumes Haskell Stack installed.
stack setup
To run
stack build
stack exec automata-model-exe [path-to-input.txt]
REPL
stack ghci
:set args [path-to-input.txt]
main
Update project
:r
Quit REPL
:q
Assumptions
- It is okay to renumber the states when converting from NFA -> DFA or taking the intersection.