specless.automaton.mps

Functions

BMPS_exact	Finds the bounded, most probable string(s) (MPS) in a stochastically weighted finite automaton (SWFA).
BMPS_search_step	Makes one step of BMPS_exact search, updating all data structures.
SWDFA_MPS	Computes the EXACT consensus string (the actual most probable string (MPS)) for a stochastically weighted DETERMINISTIC finite automaton (SWDFA).
postprocess_MPS	Post-processes the results from both MPS routines.
should_use_BMPS_exact	Determine if we should use BMPS_exact based on the type of automaton we have and what we actually want to solve for