Рефератты қайта жазу машинасы - Abstract rewriting machine

The Рефератты қайта жазу машинасы (ARM) - бұл виртуалды машина жүзеге асырады мерзімді қайта жазу минималды мерзімді қайта жазу жүйелері үшін.

Минималды мерзімді қайта жазу жүйелері болып табылады сол сызықты мерзімді қайта жазу жүйелері онда әр ереже алты форманың бірін алады:

Жалғасы

${ displaystyle f ({ vec {x}}, { vec {y}}, { vec {z}}) rightarrow g ({ vec {x}}, h ({ vec {y}}) ), { vec {z}})}$

Қайту

${ displaystyle f (x) rightarrow x}$

Match

${ displaystyle f ({ vec {x}}, g ({ vec {y}}), { vec {z}}) rightarrow h ({ vec {x}}, { vec {y} }, { vec {z}})}$

Қосу

${ displaystyle f ({ vec {x}}, { vec {z}}) rightarrow g ({ vec {x}}, y, { vec {z}}) - { rm {for} } ~ y in { vec {x}} cup { vec {z}}}$

Жою

${ displaystyle f ({ vec {x}}, { vec {y}}, { vec {z}}) rightarrow g ({ vec {x}}, { vec {z}})}$

Сәйкестендіру

${ displaystyle f ({ vec {x}}) rightarrow g ({ vec {x}})}$

Осы алты форманың әрқайсысы қазіргі заманғы микро процессорлардағы бір немесе бірнеше процессор нұсқауларымен (ARM-де) бейнеленген. Тиісінше, минималды мерзімді қайта жазу бір қадамға оннан жүзге дейінгі сағаттық циклдарда жүзеге асырылады - секундына миллиондаған қысқарту қадамдары.

ARM жалпы мерзімді қайта жазуды жүзеге асырады, өйткені әр бір сұрыпталған шартсыз сол сызықтық мерзімді қайта жазу жүйесі бірдей қалыпты форма қатынасын тудыратын минималды мерзімді қайта жазу жүйесіне айналуы (жинақталуы) мүмкін.

Ішкі қайта жазуға арналған осы жинақтау процесіне сілтемелермен, сондай-ақ ARM-ге егжей-тегжейлі шолу арқылы мына жерден таба аласыз: «ARM қолында: минималды қайта жазу жүйелері арқылы солға сызықтық қайта жазу жүйелерін жинақтау». Жалқау (ішкі емес) қайта жазудың сипаттамасын мына жерден таба аласыз «Жалқау техниканы қайта жазу».

ARM-нің құжатталған енгізілімі бар (Epic қайта жазу терминімен) Мұнда. Сайт пен бағдарламалық жасақтама енді белсенді түрде жүргізілмейтінін ескеріңіз.

Әдебиеттер тізімі

• Дизль, Дж. Р .; Мидделдорп, А. (шілде 2004). «Контекстке сезімтал қайта жазу жүйелері үшін түрлендіру әдістері» (PDF). Функционалды бағдарламалау журналы. 14 (4): 379–427. CiteSeerX  10.1.1.127.2817. дои:10.1017 / S0956796803004945.
• Лукас, Сальвадор (2002). «Жалқау қайта жазу және контекстке сезімтал қайта жазу» (PDF). Теориялық информатикадағы электрондық жазбалар. 64: 234–254. CiteSeerX  10.1.1.14.3470. дои:10.1016 / S1571-0661 (04) 80353-0. Архивтелген түпнұсқа (PDF) 2006-05-16. Алынған 2015-08-29.
• Нгуен, Куанг-Хюй (2001). «Жалқауды қайта жазу арқылы ықшам қалыпқа келтіру ізі» (PDF). Теориялық информатикадағы электрондық жазбалар. 57: 87–108. CiteSeerX  10.1.1.24.771. дои:10.1016 / S1571-0661 (04) 00269-5.
• Hernерхаммер, Ф .; Грамлич, Б. (сәуір, 2008). «Жалқау қайта жазуды тоқтату қайта қаралды» (PDF). Теориялық информатикадағы электрондық жазбалар. 204: 35–51. CiteSeerX  10.1.1.142.1957. дои:10.1016 / j.entcs.2008.03.052.