EN formal language
LV formālā valoda
RU формальный язык
Definīcija: Galīgu simbolu secību kopa, ko apraksta ar precīzi formulētu sintakses likumu palīdzību. Datorzinātnēs formālās valodas klasificē pēc to lietojumiem (algoritmu valodas, informācijas ieguves valodas u.c.). Ja katram formālās valodas vārdam tiek piešķirta jēdzieniskā nozīme (semantika), tad formālo valodu sauc par interpretētu. Svarīgu interpretēto formālo valodu klasi veido programmēšanas valodas.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
