1. Формальные языки и грамматики