symbolic_dynamics.sofic.is_sft¶

symbolic_dynamics.sofic.is_sft(G, return_step=False)[source]¶

Returns True iff the shift presents by G is a shift of finite type (SFT).

Requires G to be synchronizing for the return value to be correct.