Text this: Formal language theory :