SMS: Maschinentheorien, Theoriemaschinen