prefix computer for thompsons group lambda