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.
LZA TK ITTEA terminu datubāze
ENformal language
LVformā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
