Working on implementing \ with DFAs