Describir: Theory of computation