Describir: Discrete Dynamic Systems in Dual Language-Graph Formalism