Формальные грамматики и языки (Гладкий А.В.)