Extracting Finite State Machines from Transformers