ফরমাল ল্যাঙ্গুয়েজ

গাণিতিক নিয়ম দ্বারা সংজ্ঞায়িত ভাষা, প্রোগ্রামিং ভাষার তাত্ত্বিক ভিত্তি গঠন করে।