Rescrierea

Această intrare pe subiectele teoriilor și logicii computerelor este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

În matematică , informatică și logică , rescrierea este înlocuirea unui obiect în locul unei părți a altui obiect, conform unei reguli formale precise. Un sistem de rescriere este alcătuit precis dintr-un set de obiecte, de exemplu termeni , grafice sau alte obiecte matematice și un set finit de reguli care definesc o relație pe obiecte.

Când un sistem de rescriere permite ca un anumit obiect să existe mai multe reguli aplicabile, acesta este numit nedeterminist și uneori completat de o strategie de alegere. ^{[ neclar ]}

Ultimul caz este deosebit de interesant în teoria limbajelor de programare , deoarece diferite limbaje declarative ( funcționale sau logice ) sunt studiate ca sisteme de rescriere a termenilor.

Bibliografie

• Nachum Dershowitz și Jean-Pierre Jouannaud.Rewrite Systems (1990). Capitolul 6 din Manualul de informatică teoretică, volumul B: modele formale și semantică (B) , pp. 243-320.
• Term Rewriting Systems , Terese, Cambridge Tracts in Theoretical Computer Science, 2003
• Term Rewriting and All That , Franz Baader și Tobias Nipkow, Cambridge University Press, 1998

Elemente conexe

• Calcul Lambda
• Mathematica

Portal IT

Portalul de matematică