Примеры использования формальных языков программирования