Textmeddelande: Maschinentheorien, Theoriemaschinen