Text this: Gröbner Bases with Reduction Machines