Dasturlash tili – maʼlumotlar (axborotlar)ni va ularni elektron mashinalarda ishlash algoritmlari (dasturlari)ni bayon qilish uchun moʻljallangan rasmiy til; odamning elektron mashina bilan bogʻlanishi uchun ishlatiladigan shartli belgilar tizimi. Dasturlash tili tabiiy til bilan shartli mashina tili orasidagi oʻrinni egallaydi. Dasturlash tilining asosiy vazifasi dasturlar tuzish (dasturlash) vositasi boʻlishi, yaʼni maʼlumotlarni ifodalash va ularni EHM (kompyuter) da ishlashda qoʻllanishidan iborat[1]. Dasturlash tillari sintaksisi (shakl) va semantikasi (ma'nosi) nuqtai nazaridan tavsiflanadi , odatda rasmiy til bilan belgilanadi . Tillar odatda tip tizimi , o'zgaruvchilar va xatolarni qayta ishlashmexanizmlari kabi xususiyatlarni taqdim etadi . Dasturlarni bajarish uchun dasturlash tilini , ya'ni tarjimon yoki kompilyatorni amalga oshirish talab qilinadi . Tarjimon to'g'ridan-to'g'ri manba kodini bajaradi, kompilyator esa bajariladigan dasturni ishlab chiqaradi .
Kompyuter arxitekturasi dasturlash tillarining dizayniga kuchli ta'sir ko'rsatdi, eng keng tarqalgan turi ( ma'lum bir tartibda operatsiyalarni amalga oshiradigan imperativ tillar ) mashhur fon Neyman arxitekturasida yaxshi ishlash uchun ishlab chiqilgan . Dastlabki dasturlash tillari apparat bilan chambarchas bog'langan bo'lsa-da , vaqt o'tishi bilan ular yanada soddalik uchun amalga oshirish tafsilotlarini yashirish uchun ko'proq mavhumlikni ishlab chiqdilar .
Ko'pincha imperativ, funktsional , mantiqiyyoki ob'ektga yo'naltirilgan deb tasniflangan minglab dasturlash tillari turli xil foydalanish uchun ishlab chiqilgan. Dasturlash tilini loyihalashning ko'p jihatlari o'zaro kelishuvlarni o'z ichiga oladi - masalan, istisnolarni qayta ishlash xatolarni boshqarishni osonlashtiradi, lekin ishlash xarajati. Dasturlash tili nazariyasi - bu dasturlash tillarini loyihalash, amalga oshirish, tahlil qilish, tavsiflash va tasniflashni o'rganadigan kompyuter fanining kichik sohasi .