A graph approach to computing nondeterminacy in substitutional dynamical systems