OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 19 Сентябрь, 2019 00:53

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Вопрос про инвариант
СообщениеДобавлено: Среда, 18 Ноябрь, 2009 10:23 

Зарегистрирован: Суббота, 16 Февраль, 2008 07:58
Сообщения: 345
Откуда: Россия, Стерлитамак
Идею инварианта для циклов вроде как понял, но только для разобранных в примерах математических функций. А не могли бы привести пример инварианта с объектами, а то никак не могу понять, как его к ним применить можно. Или инвариант применяется только к математическим функциям?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Вопрос про инвариант
СообщениеДобавлено: Среда, 18 Ноябрь, 2009 11:04 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8174
Откуда: Троицк, Москва
А причем здесь функции-объекты.

Если логика цикла сложная, вот и нужен инвариант.

Примеры -- в разделе 1.9 книжки Вирта Алгоритмы...
Еще полезно там посмотреть поиск делением пополам.

В моем опыте объекты с инвариантом замешиваются в цикл поиска, когда объект является генератором каких-то штук, и эти штуки в какой-то момент заканчиваются.

Можно посмотреть в школьной конфигурации i21eduCompiler -- там проход по тексту с одновременным перекодированием ключевых слов, используется длинный цикл Дейкстры, ну и инвариант есть :)


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB