fsmActions-0.3.0: Finite state machines and FSM actionsSource codeContentsIndex
Data.FsmActions.FsmMatrix
Contents
Input
Output
Description

Serialisation/deserialisation of FSMs as FSM transition matrices.

A FSM may be represented as an transition matrix whose rows correspond to states of the FSM, and whose columns correspond to its possible actions (labels on its transitions). A given cell then represents the transition(s) from some (row) state under some (column) action, and contains a comma-separated list of integers: the row numbers of the destination states. (Of course, for a deterministic action, there's just one, and no comma.) Rows are numbered from 0 and increment strictly.

Synopsis
parseFsmMxFile :: FilePath -> IO (FSM String)
parseFsmMx :: String -> ReadMxMonad (FSM String)
printFsmMx :: FSM String -> String
Input
parseFsmMxFile :: FilePath -> IO (FSM String)Source
Parse an FsmMatrix-formatted FSM held in a file, by reading the file and calling parseFsmString.
parseFsmMx :: String -> ReadMxMonad (FSM String)Source
Parse an FsmMatrix-formatted FSM held in a string. Includes normalisation and well-formedness checks.
Output
printFsmMx :: FSM String -> StringSource
Pretty-print a string FSM in FsmMatrix format.
Produced by Haddock version 2.4.2