"dobbeltprosessor" er et 16-bokstavers substantiv som brukes som synonym for "dobbeltsentralisator". dobbeltsentralisator betyr: En prosessor som håndterer to prosesser samtidig