OberonCore

Пока не понятно куда с переводами вообще, решил пока в этот форум написать...

Оригинал: http://www.inf.ethz.ch/personal/wirth/A ... n/SETs.pdf

Прошу рецензировать: http://oberoncore.ru/library/wirth_sets

Множество потому ИМХО не используется, что нет железной поддержки такой, например, простой вещи как перебор множества. Поэтому и плодят всякие динамические векторы.

На всякий случай: я прошу рецензировать не содержание, а его перевод. Вдруг какие ошибки, у меня с английской грамматикой туго... Плюс перевод терминов --- старался на ББ-й перевод КП ориентироваться, но уточнить никогда не помешает.

"а и ..." - эти союзы, по-моему, здесь плохо сочетаются. Как вариант могу предложить "но и ..." или "но также ..." или др.

мне кажется --> похоже (не надо "переходить на личности")

Идею предложил Хоор, пытавшийся...

... вид, согласующийся с математическими абстракциями.

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

малых --> небольших

n — размер машинного слова --> где n — размер машинного слова

Нужно осознавать, --> Следует понимать,

Однако понятие множества все-таки на практике возникает, хотя обычно и не выражается на языке множеств.

Общеизвестным примером являются --> Общеизвестный пример —

особое, независимое друг от друга значение. --> особый смысл, свой для каждого бита.

а и --> но и

Так же присутствуют --> Еще имеются

Простой пример должен показать очевидность эффективной реализации. --> Простой пример покажет, насколько легко обеспечить здесь эффективную реализацию.

<Здесь вставить примечание переводчика: Фактически речь идет об известном математическом факте эквивалентности булевых алгебр алгебрам подмножеств. См. любой приличный учебник дискретной математики для программистов.>

Видно, что операции с множествами подлежат выражению через --> Очевидно, что такие операции с множествами можно непосредственно выразить через

сам приведённый --> приводимый ниже

Имейте ввиду, что здесь мы используем --> Заметим, что здесь используется

Генерация --> Создание <?>

ARM отличает --> ARM предоставляет

короткому для показанных ниже операторов коду --> короткому коду для показанных ниже операторов

Правки внёс. Заменил на "Вычисление".

Если больше замечаний не будет, выложу на сайт .odc и поставлю ссылки...

Избегаемый --> недооцениваемый

он до сих пор считается не особенно эффективным. --> он остается недооцененным.


Общеизвестный пример — являются --> Общеизвестный пример —

исправил

Поздравляю! Полезное дело вышло.

Спасибо за коррекцию.

Выставил ссылку в библиотеке, выложил odc. Возможно, стоит включить это "дело" в подборку метод. материалов ББ-й сброки от И-21.

Пример перехода на SET: http://oberoncore.ru/wiki/blackbox/ex/c ... ean_as_set

Да, пожалуй.

Можно попросить ссылку на odc?

Ссылка (http://oberoncore.ru/_media/library/wirth_sets.odc) на странице заметки http://oberoncore.ru/library/wirth_sets

Спасибо.

Ещё пример оптимизации (матрицы {0,1} как ARRAY OF ARRAY OF BYTE -> ARRAY OF SET (*)) на базе тетриса.

Удачный этот тетрис получился --- вместо одного примера вышло два:
- в самом рассказано про вьюшки, означенный момент (*) сделан самым простым и наглядным способом;
- его оптимизация --- отдельно, независимо от вьюшек, но на реальном примере.

Да, сей Тетрис -- удобная иллюстрация.

Только действительно ли это оптимизация? (Код смотреть сейчас не могу.)

Пример --- оптимизации по объёму памяти, используемому для представления матрицы.

Плюс кодовый файл TetrisFigures в два раза уменьшился. Но это специфика конкретного случая.

Спасибо, понятно.

Во всяком случае иллюстрация возможности.