Shift of Finite Type is Compact

Theorem
Let $\struct {X_\mathbf A, \sigma_\mathbf A}$ be a shift of finite type.

Then $X_\mathbf A $ is compact.