/NDFSiM

Implementation of Non-Deterministic Finite State Machines in Haskell.

Primary LanguageHaskell

NDFSiM

Non-Deterministic Finite State Machine Simulator.

Usage

ghc Main.hs

./Main aab*.fsm aaba
./Main aab*.fsm aababa

File Format Specification

See aab*a.fsm and epsTest.fsm for example configurations.

<space separated characters in the alphabet> <name of the start state> <space separated names of accepting states> <<name of origin state> <transition character> <name of destination state>>*

An omitted transition is presumed to be the dead state. A transition over the symbol ‘_’ is considered an epsilon transition.