औपचारिक भाषाएँ

गणितीय नियमों द्वारा परिभाषित भाषाएँ, जो प्रोग्रामिंग भाषाओं का सैद्धांतिक आधार बनती हैं।