One who, or that which, excavates or hollows out; a machine, as a dredging machine, or a tool, for excavating.