Нажмите ENTER

ЗАГОЛОВОК ПРОЕКТА

    Нажмите ENTER

    БЛОГ

    Maxim1212
    12.07.2019
    Разное Комментариев нет

    Абстрактная система сокращения

    В математической логике и теоретической информатике, АБСТРАКТНАЯ СИСТЕМА СОКРАЩЕНИЯ (также абстрактная система редукции или абстрактная система перезаписи; аббревиатура ARS) — это формализм, который охватывает наиболее существенное понятие и свойства систем переписывания. В своей простейшей форме ARS — это просто набор («объектов») вместе с бинарным отношением, традиционно обозначаемым как → ; это определение может быть дополнительно уточнено, если мы индексируем (обозначаем) подмножества бинарного отношения. Несмотря на свою простоту, ARS достаточно для описания важных свойств переписывающих систем, таких как нормальные формы, завершение и различные понятия слияния.
    Исторически сложилось несколько формализаций сокращения в абстрактной среде, каждая со своими особенностями. Отчасти это связано с тем, что некоторые понятия эквивалентны. Формализация, которая чаще всего встречается в монографиях и учебниках, принадлежит Жерару Юэ (1980). [Ronald V. Book and Friedrich Otto, String-rewriting Systems, Springer (1993). Chapter 1, «Abstract reduction systems», р. 9]
    ARS — это множество A, элементы которого обычно называются объектами, вместе с бинарным отношением на A, традиционно обозначаемым → и называемым отношением редукции, сокращения [Marc Bezem, Jan Willem Klop, Roel de Vrijer («Terese»), Term rewriting systems, Cambridge University Press, 2003, ISBN 0-521-39115-6, Chapter 1, р. 7] или просто редукцией.[Book and Otto, p. 10] Эта (укоренившаяся) терминология, использующая «сокращение», немного вводит в заблуждение, потому что отношение не обязательно уменьшает некоторую меру объектов.


    Это заготовка статьи. Вы можете помочь Большой энциклопедии знаний расширить её- пришлите нам свою авторскую версию и получите гонорар!

    © При копировании активная ссылка на сайт обязательна

    См. Алфавитный указатель статей Большой энциклопедии знаний

    Комментарии закрыты