EXTERMINATOR betyder samma sak, så vitt jag kan förstå. "Terminator" är bara en förkortning som lämpade sig bättre som namn på två filmer.
