What is one who, or that which, excavates or hollows out; a machine, as a dredging machine, or a tool, for excavating called?

excavator — One who, or that which, excavates or hollows out; a machine, as a dredging machine, or a tool, for excavating. (Webster's 1913.)

Sources