Формална граматика — разлика између измена

Садржај обрисан Садржај додат
Нема описа измене
Ред 1:
У [[формална теорија језика|формалној теорији језика]], у [[рачунарство|рачунарству]] и у [[лингвистика | лингвистици]], '''формална граматика''' (чешће само [[граматика|граматика]]) је прецизна дефиниција неког [[језик | језика]], тј. скуп [[ниска | ниски]] над неком [[азбука | азбуком]]. Другим речима, [[граматика|граматика]] описује које од могућих секвенци симбола у [[језик | језикајезику]] уствари формирају валидне речи и реченице у том језику, али не дефинише њихово значење.
 
За [[граматика|граматику]] се обично мисли да генерише валидне ниске језика; такође се може користити као основа препознаваоца који одређује да ли нека ниска припада језику. Да би се описао такав препознавалац, [[формална теорија језика]] користи одређене формализме, знане као [[аутомат | аутомати]].