Формальные языки: от теории к практике