computational expressivity of transformers