Jewels of Formal Language Theory