Transformatsion sementika

Tillar, tuzilishi va ma'nosi: Umuman olganda, rasmiy yozuv tizimi tildir. Barcha tillar qandaydir tuzilishga ega va tilning ma'nosi yoki "semantikasi" bo'lib, ko'pincha til tuzilmalari ma'nosidan tuziladi. Dasturni o'zgartirish odatda semantikani (yoki "to'g'rilikni") saqlaydi [optimallashtirish, tarjima, takomillashtirish, refaktoring, ...] lekin "dastur" (til misoli) semantikasini o'zgartirish uchun ishlatilishi mumkin [parametr qo'shing protsedura, barcha massiv chegaralarini bittaga moslash, funktsiyaga tegishli barcha kodlarni olib tashlash, ...].