ภาษาการแปลง (Transformation language)คือภาษาคอมพิวเตอร์ที่ออกแบบมาเพื่อแปลงข้อความป้อนเข้าในภาษาที่เป็นทางการ บางภาษา ให้เป็นข้อความเอาต์พุตที่ได้รับการแก้ไขซึ่งตรงตามเป้าหมายเฉพาะบางประการ

ระบบแปลงโปรแกรมเช่นStratego/XT , TXL , Tom , DMSและASF+SDFล้วนมีภาษาการแปลงเป็นส่วนประกอบหลัก ภาษาการแปลงสำหรับระบบเหล่านี้ขับเคลื่อนด้วยคำอธิบายเชิงประกาศของโครงสร้างข้อความอินพุต (โดยทั่วไปคือไวยากรณ์) ทำให้สามารถนำไปใช้กับภาษาและเอกสารที่เป็นทางการได้หลากหลายประเภท

ภาษา มาโครเป็นภาษาประเภทหนึ่งที่ใช้ในการแปลงภาษาเมตาให้เป็นภาษาโปรแกรมระดับสูงเฉพาะ เช่นJava , C++ , Fortran หรือเป็น ภาษาแอสเซมบลีระดับต่ำกว่า

ใน แวดวง เทคโนโลยีวิศวกรรมที่ขับเคลื่อนด้วยแบบจำลองมีภาษาสำหรับการแปลงแบบจำลอง (MTLs) ซึ่งรับแบบจำลองที่สอดคล้องกับเมตาโมเดลที่กำหนดเป็นอินพุต และสร้างแบบจำลองที่สอดคล้องกับเมตาโมเดลที่แตกต่างกันเป็นเอาต์พุต ตัวอย่างของภาษาดังกล่าวคือมาตรฐาน QVT OMG

นอกจากนี้ยังมีภาษาระดับต่ำ เช่น ตระกูล Lx ^{[ 1 ]}ซึ่งดำเนินการโดยใช้วิธีบูตสแตรปปิ้งภาษา L0 อาจถือได้ว่าเป็นภาษาแอสเซมเบลอร์สำหรับภาษาการแปลง นอกจากนี้ยังมีภาษากราฟิกระดับสูงที่สร้างขึ้นบน Lx เรียกว่า MOLA ^{[ 2 ]}

มี ภาษาสำหรับการแปลง XML อยู่ หลายภาษา ได้แก่Tritium , XSLT , XQuery , STX , FXT , XDuce , CDuce, HaXml , XMLambdaและ FleXML