Sofic shifts ============ .. automodule:: symbolic_dynamics.sofic .. autosummary:: :toctree: generated is_labeled out_labels alphabet is_deterministic is_fully_deterministic subset_presentation dot idot is_stranded is_essential make_essential from_partial_fns random_deterministic_graph random_deterministic_graph_with_props is_irreducible get_follower_equivalences is_follower_separated reduce find_synchronizing_word find_separating_word is_subshift is_synchronizing are_shifts_equal_sync is_sft