Describir: An introduction to mathematical machine theory