Minimal presentations for irreducible sofic shifts

We re-cast a theorem of Willems (1989) 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.<
>