Minimal Presentations for Irreducible Sofic Shifts

We re-cast a theorem of Willems in terms of symbolic dynamics. We then present a new result which characterizes when an irreducible sofic shift (i.e., constrained system) has a unique minimal irreducible presentation. © 1994 IEEE