Introduction to formal language theory | lit.salon