Implemented Greedy DLR Automata