Lingua programmandi vel lingua programmationis[1][2] est lingua ficta vel formalis, vel et series mandatorum ad machinam quae a programmatoribus ad computatra programmanda adhibetur. Machinae proxima inter programmandi linguas est lingua machinalis, quae sola directe per processorium medium computatrum gubernare potest. Quam ob rem omnes programmandi linguae ad linguam machinalem converti possunt. Ad linguas convertendas sunt programmata specialia, quae compilatra appellantur.