Transformationsregler
Transformationsregler är regler som anger hur något ändras till en annan form. De används för att modellera systematiska förändringar över flera områden, från språk och grammatik till matematik och datorvetenskap.
Inom lingvistik beskriver transformationsregler hur ord eller satser omformas för att uppnå olika syntaktiska strukturer, till
Inom matematik och geometri beskriver transformationsregler hur punkter eller figurer förflyttas eller omformas, till exempel translationer,
Inom datorvetenskap och formella språk används transformationsregler i termrewriting och automatiskt resonemang för att byta ut
Egenskaper inkluderar determinism kontra icke-determinism, terminering, konfluens och lokalitet. Regler skrivs vanligtvis i ett mönster–ersättningformat, till
Användningsområden inkluderar språkbearbetning, matematiska problem, kodoptimering och omvandling av data i databaser eller olika filformat.