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