Another way to say "A computer is a type of machine." is "One type of machine is a computer."