WikiDer > Ортогональность (переписывание терминов)

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: Переписывание термина "ортогональность" – Новости · газеты · книги · ученый · JSTOR (Февраль 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Ортогональность как собственность системы переписывания терминов описывает, где все правила редукции системы являются леволинейными, то есть каждая переменная встречается только один раз в левой части каждого правила редукции, и нет перекрывать между ними.

Системы ортогональной перезаписи термов обладают тем свойством, что все сводимые выражения (редексы) в пределах терма полностью не пересекаются, то есть у редексов нет общего функционального символа.

Например, система переписывания терминов с правилами редукции

${displaystyle ho _ {1}: f (x, y) ightarrow g (y)}$

${displaystyle ho _ {2}: h (y) ightarrow f (g (y), y)}$

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

Системы ортогональной перезаписи термов сливаться.

Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е

${displaystyle Gamma vdash x: {ext {Int}}}$

Этот теория языков программирования или же теория типов-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е