Added forgetful and forgetful thompson algorithms