specless.automaton.base

Functions

edge_weight_to_string

returns a numeric edge weight as an appropriately formatted string

node_obs_to_str

returns a node observation label as an appropriately formatted string

Classes

Automaton

This class describes a automaton with (possibly) stochastic transitions