ФОРМАЛЬНОЕ ОПИСАНИЕ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ photos Формальный язык программирования пример