Шта је метајезик:
Метајезик је језик који се користи за описивање, навођење или анализу језика.
У логици и лингвистици метајезик се користи за анализу и структурирање логичких проблема које представљају семантички парадокси у језику који се користи за описивање предмета.
Метајезик је такође дефинисан као специјализовани језик за описивање природног језичког система или другог језика који се сматра предметом анализе. Ово се посебно односи на учење новог језика, као што је „реч Језик значи „језик“ на енглеском “.
Изрази у метајезику често се разликују од језика-објекта користећи курзив, наводнике или одвојено писање редова, мада то није увек тако изражено.
Британски аутор Бертранд Русселл (1872-1970) дефинисао је теорију хијерархије језика на два нивоа:
- Ниво језик-објекат: користи се за означавање предмета, као што су „они су људи“.
- Металингвистички или метајезични ниво: је језик који се користи за дефинисање претходног нивоа, на пример, у фрази „имигранти су људи“, „имигранти“ се налазе на нивоу метајезика.
С друге стране, пољски аутор Алфред Тарски (1901-1983) дефинише метајезик као решење семантичких парадокса, наводећи да је „неопходно говорити истину о језику из другог језика који се назива метајезик“.
Неки примери метајезика су граматички језик, лексикографски језик, логички језик, језик деце, технички језик, рачунар, између осталог.
У лингвистици се у језику разликује шест употреба или функција, од којих је једна метајезичка, која користи метајезик да би говорила о самом језику. На пример: „Метајезик је језик“.
Карактеристике метајезика
Метајезик има специфичне карактеристике које помажу у бољем разумевању поруке због логичке сложености коју одржава. Алфред Тарски дефинише неке суштинске карактеристике да би се језик сматрао метајезиком:
- Метајезик дефинише језик који користи други језик.
- Метајезик мора бити богатији од објектног језика, јер описује његове реченице и синтаксу.
- Метајезик се разуме у теорији скупова и бинарне логике.
- Метајезик мора бити копија објектног језика, тако да оно што се с њим може рећи може бити изражено метајезиком.
Метајезик у рачунарству
Метајезик у рачунарству користи се за прецизно описивање програмских низова. 1950. године, на пољу рачунарства, постојале су две врсте проблема за састав рачунарских програма:
- Недостатак дизајна математичког језика за изражавање алгоритма.
- Немогућност превођења програма у рачунарски код.
Први проблем решен је захваљујући стварању дисциплине дизајнирања рачунарског програма, а друго питање је решено захваљујући генерацији компајлера који су дефинисани као метајезик, као програм који чита програм.
Компјутерски компајлери су засновани на програмским језицима. Један од најчешће коришћених је БНФ (Бацкус-Наур образац) који су створили Јохн Бацкус и Петер Наур, а независно га је развио Ноам Цхомски, такође познат као Цхомски-јева хијерархија ТИПЕ2 модела.
Преводитељи генеришу синтаксичку анализу откривајући већину грешака у изворном коду и преводећи је у еквивалентан програм на другом језику (објектни код).
