Jewels of formal language theory