Ключевая фраза: ФОРМАЛЬНЫЙ АНАЛИЗ