Формални језик
From Wikipedia, the free encyclopedia
Формални језик је скуп речи, то јест коначних ниски слова, или симбола. Скуп из кога се ова слова узимају се назива азбуком над којом је језик дефинисан. Формални језик се често дефинише помоћу формалне граматике. Формални језици су чисто синтаксни појам, тако да није обавезно да постоји неко значење повезано са њима. Како би се разликовале речи које припадају језику од произвољних речи над датом азбуком, речи које припадају језику се понекад називају добро-формираним речима (или када се ради о применама у логици, добро-формираним формулама).
Формални језици се проучавају у областима логике, рачунарства и лингвистике. Њихова најважнија примена је у прецизном дефинисању синтаксно исправних програма за програмски језик. Грана математике и рачунарства која се бави само синтаксним аспектима таквих језика, то јест њиховим структурним обрасцима, се назива теорија формалних језика.
Мада то у ужем смислу није део језика, речи формалног језика често имају и семантичку димензију. У пракси је ово увек у врло чврстој вези са структуром језика, и формална граматика (скуп правила за извођење који рекурзивно описују језик) може да помогне у разумевању значења (добро-формираних) речи. Добро познати примери за ово су дефиниција истине Тарског у оквирима Т-схеме за логику првог реда, и генератори компајлера као што су lex
и yacc
.