Значење метајезика (шта је то, концепт и дефиниција)

Шта је метајезик:

Метајезик је језик који се користи за описивање, стање или анализирање језика.

У логици и језикословљу метајезичност се користи за анализу и структуирање логичких проблема који се постављају семантичким парадоксима у језику који се користи за описивање предмета.

Метајезик се такође дефинише као специјализовани језик за опис природног језичког система или другог језика који се сматра предметом анализе. То је посебно видљиво у учењу новог језика као што су, "реч језик језика" Енглески "значи".

Изрази у метајезику често се разликују од језика предмета употребом курзива, наводника или писања засебним линијама, мада нису увек изражени на овај начин.

Британски аутор Бертранд Русселл (1872-1970) дефинисао је теорију хијерархије језика на два нивоа:

• Ниво језика-објекта: користи се за означавање објеката попут "они су људи". Метајезични или метајезични ниво: то је језик који се користи за дефинисање претходног нивоа, на пример, у фрази „имигранти су људи“, а „имигранти“ су на нивоу језика.

С друге стране, пољски аутор Алфред Тарски (1901-1983) дефинише метајезичност као решење семантичких парадокса, наводећи да је "потребно говорити истину о језику са другог језика који се зове метајезик".

Неки примери метајезика су граматички језик, лексикографски језик, логички језик, дечји језик, технички језик, рачунарски језик, између осталих.

У лингвистици се разликује шест употреба или функција у језику, једна од њих је метајезичка функција, која користи метајезичност да би говорила о самом језику. На пример: "Метајезик је језик."

Карактеристике метајезика

Метајезик има специфичне карактеристике које помажу бољем разумевању поруке због логичке сложености коју подржава. Алфред Тарски дефинише неке суштинске карактеристике за језик који се сматра метајезиком:

• Метајезик дефинише језик који користи други језик. Метајезик мора бити богатији од објектног језика, јер описује његове реченице и синтаксу. Метајезик је укључен у теорију скупова и бинарну логику. Метајезик мора бити копија језичког објекта, тако да оно што се са њим може рећи такође може бити изражено метајезиком.

Метајезичност у рачунању

Метајезик у рачунању користи се за прецизно описивање програмских низова. 1950. године у области рачунара постојале су две врсте проблема због композиције рачунарских програма:

1. Недостатак дизајна математичког језика за изражавање алгоритма, немогућност превођења програма у рачунски код.

Први проблем је решен захваљујући стварању дисциплине дизајна рачунарских програма, а друго питање је решено захваљујући генерацији компајлера који су дефинисани као метајезик, што је програм који чита програм.

Компјутерски компајлери се заснивају на програмским језицима. Један од најчешће коришћених је БНФ (Бацкус-Наур Форм) који су креирали Јохн Бацкус и Петер Наур, а неовисно га је развио Ноам Цхомски, такође познат као хијерархија модела Цхомски ТИПЕ2.

Компајлери генерирају рашчлањивање откривајући већину грешака у изворном коду и преводећи га у еквивалентни програм на други језик (објектни код).