hDFA-0.0.2: A simple library for representing and minimising DFAs.
Data.DFA.KISS2
Description
Berkeley KISS2 format operations.
We use this to interface with STAMINA.
Synopsis
read :: Bool -> String -> IO DFASource
Read a DFA from Berkeley KISS2 format.
DFA
A very sloppy and incomplete parser. Assumes there is a single output.
writeToFile :: DFA -> FilePath -> IO ()Source
Write DFA to a file with the given FilePath in Berkeley KISS2 format.
FilePath