ਰਸਮੀ ਭਾਸ਼ਾਵਾਂ

ਗਣਿਤਿਕ ਨਿਯਮਾਂ ਦੁਆਰਾ ਪਰਿਭਾਸ਼ਿਤ ਭਾਸ਼ਾਵਾਂ, ਜੋ ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾਵਾਂ ਦਾ ਸਿਧਾਂਤਕ ਅਧਾਰ ਬਣਦੀਆਂ ਹਨ।