Ortogonalita (přepisování termínů) - Orthogonality (term rewriting)

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: Přepis termínu „ortogonalita“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Února 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Ortogonalita jako vlastnost systémy přepisování termínů popisuje, kde jsou redukční pravidla systému všechna lineární, to znamená, že každá proměnná se vyskytuje pouze jednou na levé straně každého redukčního pravidla a neexistuje žádná překrytí mezi nimi.

Systémy přepisování ortogonálních termínů mají následnou vlastnost, že všechny redukovatelné výrazy (redexy) v rámci termínu jsou zcela disjunktní - to znamená, že redexy nesdílejí žádný společný funkční symbol.

Například termín přepisovací systém s pravidly redukce

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

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

je ortogonální - lze snadno pozorovat, že každé pravidlo redukce je lineární vlevo a levá strana každého pravidla redukce nesdílí žádný společný funkční symbol, takže nedochází k překrývání.

Systémy přepisování ortogonálních termínů jsou soutok.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

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

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.