Characterizing the Expressivity of Local Attention in Transformers — ThinkLLM