Describir: Theory of machines and computations