On the controllability of discrete state systems