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