Describir: Discrete systems with memory