Text this: Computers in language research formal methods