On symbolic control design of nonlinear systems with dynamic regular language specifications