ReferenceΒΆ
To use the functions provided by symbolic-dynamics,
simply import the package symbolic_dynamics
:
>>> import symbolic_dynamics as sd
All the functions listed in the reference are imported into
symbolic_dynamics
. For example, to refer to the function
symbolic_dynamics.sofic.dot()
, one may simply write
sd.dot
.
- Sofic shifts
- symbolic_dynamics.sofic.is_labeled
- symbolic_dynamics.sofic.out_labels
- symbolic_dynamics.sofic.alphabet
- symbolic_dynamics.sofic.is_deterministic
- symbolic_dynamics.sofic.is_fully_deterministic
- symbolic_dynamics.sofic.subset_presentation
- symbolic_dynamics.sofic.dot
- symbolic_dynamics.sofic.idot
- symbolic_dynamics.sofic.is_stranded
- symbolic_dynamics.sofic.is_essential
- symbolic_dynamics.sofic.make_essential
- symbolic_dynamics.sofic.from_partial_fns
- symbolic_dynamics.sofic.random_deterministic_graph
- symbolic_dynamics.sofic.random_deterministic_graph_with_props
- symbolic_dynamics.sofic.is_irreducible
- symbolic_dynamics.sofic.get_follower_equivalences
- symbolic_dynamics.sofic.is_follower_separated
- symbolic_dynamics.sofic.reduce
- symbolic_dynamics.sofic.find_synchronizing_word
- symbolic_dynamics.sofic.find_separating_word
- symbolic_dynamics.sofic.is_subshift
- symbolic_dynamics.sofic.is_synchronizing
- symbolic_dynamics.sofic.are_shifts_equal_sync
- symbolic_dynamics.sofic.is_sft
- Utilities
- Example graphs