Describir: Maschinentheorien, Theoriemaschinen