Locally admissible word for a transition matrix

ID: locally-admissible-word-for-a-transition-matrix

A finite word over an alphabet is locally admissible for a zero-one symbolic transition matrix if every consecutive pair is permitted. Its length counts symbols, so length corresponds to transitions. The number with endpoints is by matrix multiplication. Local admissibility does not always imply occurrence in a two-sided subshift of finite type: the matrix permits the word but admits no two-sided sequence. If every row and column has a nonzero entry, every locally admissible word extends in both directions.

New to topics? Read the docs here!