thuật ngữ khoa học cho máy mài đá