Մաթեմատիկական լեզվաբանություն

Վիքիպեդիայից՝ ազատ հանրագիտարանից

Մաթեմատիկական լեզվաբանություն, լայն առումով՝ լեզվաբանական մեթոդների համակարգ (լեզվամաթեմատիկա), որի օգնությամբ ուսումնասիրվում են լեզվական առարկաներն (օբյեկտները) ու երևույթները՝ լեզվական, լեզվաբանական ու անդրլեզվաբանական կաղապարների կիրառմամբ, նեղ առումով՝ մաթեմատիկայի հատուկ բնագավառ, որն զբաղվում է այդ կաղապարների կառուցման ու նկարագրման համար ձևային մեթոդների մշակմամբ:

Մաթեմատիկական լեզվաբանության ծնունդը (20-րդ դարի 50-ական թվականներ) պայմանավորված է լեզվաբանական նորագույն ուղղությունների (մասնավորապես, կառուցվածքային լեզվաբանության) առաջացմամբ, որոնք, հիմք ընդունելով լեզվի համակարգ լինելու գաղափարը, խնդիր դրեցին հասնելու նրա ճշգրիտ նկարագրությանը: Ամեն մի համակարգի ուսումնասիրություն պահանջում է պարզել՝

  1. նրա տարրական միավորները,
  2. այդ միավորների պատկանելությունը,
  3. դրանց համակարգման կանոնները՝ վերլուծության տարբեր մակարդակներում:

Մաթեմատիկական լեզվաբանության մեջ օգտագործվում են երեք կարգի կաղապարներ[խմբագրել]

  1. լեզվական, որոնք դիտարկում են լեզվական կոնկրետ պրոցեսներն ու երևույթները, նմանակում մարդու խոսքային գործունեությունը,
  2. լեզվաբանական, որոնք դիտարկում են այս կամ այն լեզվական երևույթները բացահայտող ընթացակարգերը և նմանակում լեզվաբանի գործունեությունը,
  3. անդրլեզվաբանական, որոնք դիտարկում են արդեն մշակված լեզվաբանական կաղապարներ:
Գծագիր 1
Գծագիր 2
Գծագիր 3

Այս առումով անդրլեզվաբանական կաղապարը տեսության տեսություն է կամ անդրտեսություն. սա հնարավորություն է սսսլիս նախօրոք մշակված հայտանիշերի ու տեսական ապացույցների (անդրլեզու կամ մետալեզու) հիման վրա տրված կաղապարներից ընտրել լավագույնը: Կաղապարման էությունը պարզաբանենք ամենից ավելի տարածված լեզվաբանական կաղապարների հիման վրա: Սրանք բաժանվում են երկու խմբի՝

  • վերլուծության կաղապարներ, որոնք հնարավորություն են տալիս վերջավոր թվով կանոնների օգնությամբ վերլուծության ենթարկել տվյալ լեզվի նախադասությունները՝ անվերջ բազմությամբ,
  • համադրության կաղապարներ, որոնք հնարավորություն են տալիս վերջավոր թվով կանոնների օգնությամբ սերել (կազմել) որևէ լեզվի նախադասություններ անվերջ բազմությամբ:

Յուրաքանչյուր կաղապարի հիմքում ընկած է որևէ ձևային քերականություն, որը վերջավոր թվով օբյեկտների և այդ օբյեկտների նկատմամբ վերջավոր թվով գործողությունների, մասնավորապես, արտածման կանոնների հավաքածու է:

Վերլուծության կաղապարներ[խմբագրել]

Վերլուծության կաղապարները հենվում են առաջին հերթին անմիջական բաղադրիչների կամ շարահյուսական կախումների, իսկ համադրության կաղապարները՝ սերող ձևային քերականությունների վրա: Անմիջական բաղադրիչների ձևային քերականությունը նկատի ունի այն փաստը, որ նախադասության մեջ կարելի է անջատել բառախմբեր, որոնք կատարում են մեկ բառի շարահյուսական ֆունկցիա: Այսպես, նախադասության անմիջական բաղադրիչներն են անվանական ու բայական բառախմբերը, որոնց շարահյուսական ֆունկցիաները համապատասխանաբար համընկնում են ենթակայի ու ստորոգյալի շարահյուսական ֆունկցիաների հետ: Անվանական բառախմբի մեջ կարելի է առանձնացնել բաղադրիչներ, որոնց շարահյուսական ֆունկցիաները կհամընկնեն ենթակայի (գոյականի) ոչ որոշիչի շարահյուսական ֆունկցիաների հետ և այլն:

Շարահյուսական կախումների ձևային քերականության համար հիմք է ծառայում նախադասության մեջ բառերի անմիջական շարահյուսական կախման առկայությունը:

Օրինակ, ընդունված է, որ նախադասության մեջ ենթական շարահյուսորեն անմիջապես կախման մեջ է գտնվում ստորոգյալից, խնդիրներն ու պարագաները՝ ստորոգյալից (անմիջապես կամ կապի միջոցով), ենթակայի լրացումը՝ ենթակայից և այլն:

Թե՝ անմիջական բաղադրիչների և թե՝ շարահյուսական կախումների քերականության միջոցով կատարված վերլուծությունը կարելի է պատկերել լեզվական տարբեր կարգի միավորների ծառաձև միացությունների տեսքով: Առաջին դեպքում այն կոչվում է անմիջական բաղադրիչների ծառ, իսկ երկրորդ դեպքում՝ կախումների ծառ: Օրինակ, երիտասարդ երկրաբանները գնացին դեպի հանքերը նախադասության անմիջական բաղադրիչների և կախումների ծառերը կունենան հետևյալ տեսքը՝

Անմիջական բաղադրիչների ծառի վրա (տես գծ. 1) պարզ երևում է, որ նախադասությունը կազմում են երկու բաղադրիչներ՝ անվանական բառախումբը (երիտասարդ երկրաբանները) և բայական բառախումբը {գնացին դեպի հանքերը). անվանական բառախումբը կազմված է երիտասարդ և երկրաբանները բառերից, իսկ բայական բառախումբը՝ գնացին բայից և անվանական բառախմբից (դեպի հանքերը), որն իր հերթին կազմված է դեպի և հանքերը բառերից:

Կախվածությունների ծառի սկզբնակետը համապատասխանում է նախադասության ստորոգյալին: Երկրորդ գծագրից երևում է, որ տրված նախադասության ստորոգյալից անմիջական շարահյուսական կախման մեջ են գտնվում ենթական (երկրաբանները) և կապը (դեպի), ենթակայից անմիջական կախման մեջ է գտնըվում նրա լրացումը (երիտասարդ), իսկ կապից՝ պարագան (հանքերը):

Սերող քերականությունը, որի հիման վրա կառուցվում են համադրության կաղապարներ, հնարավորություն է ընձեռում միակերպ ընթացակարգերի օգնությամբ կազմելու տվյալ լեզկփն հատուկ նախադասություններ: Ընդհանուր տեսքով սերող քերականությունը դիտարկվում է որպես  < \Sigma , \Digamma > համակարգ, որտեղ  \Sigma -ն լեզվական միավորների վերջավոր բազմություն է, իսկ  \Digamma -ը՝  \psi \rightarrow \phi տեսքի արտածման կանոնների վերջավոր բազմություն: Արտածման կանոնների տեսքը ցույց է տալիս, որ սերման ընթացքում սլաքի ձախակողմյան միավորը փոխարինվում է աջակողմյան միավորով: Քանի որ  \Sigma բազմության մեջ ներառվում են ոչ ծայրագույն միավորներ (որոնք համապատասխանում են բառախմբերին) և ծայրագույն միավորներ (որոնք համապատասխանում են առանձին բառերին), ապա նախադասության սերման պրոցեսը կավարտվի, եթե սերված բառաշղթան բաղկացած լինի միայն ծայրագույն միավորներից, այսինքն՝ առանձին բառերից

Հաշվողական լեզվաբանություն[խմբագրել]

Եթե որպես  \Sigma բազմության տարրեր ընտրենք  S (նախադասություն),  VP (բայական բառախումբ),  NP (անվանական բառախումբ),  N (գոյական),  V (բայ),  A (ածական),  C (կապ), երկրաբանները, հանքերը, գնացին, երիտասարդ, դեպի միավորները, իսկ որպես  \Digamma բազմության տարրեր՝  S \rightarrow NPVP , NP \rightarrow AN , NP \rightarrow CN , VP \rightarrow VNP , N-»երկրաբանները,  N -հանքերը,  A -երիտասարդ,  C -դեպի արտածման կանոնները, ապա երիտասարդ երկրաբանները գնացին դեպի հանքերը նախադասությունը կարելի է բերել հետեվյալ կերպ՝ Էլեկտրոնային հաշվողական մեքենաների ստեղծումից հետո մաթեմատիկական լեզվաբանության հիմքի վրա ծագեց ու զարգացավ, այսպես կոչված, հաշվողական լեզվաբանությունը: Հաշվողական լեզվաբանության ուսումնասիրության հիմնական օբյեկտը արհեստական լեզուներն են, որոնք լայնորեն օգտագործվում են խնդիրների ծրագրավորման համար, ապահովում մարդու և հաշվողական մեքենայի երկխոսությունը: Հաշվողական լեզվաբանությունը նոր հեռանկարներ է բացում հաշվողական մեքենաների արդյունավետության բարձրացման ու կիրառման ոլորտի ընդարձակման համար:

Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական տարբերակը վերցված է Հայկական սովետական հանրագիտարանից, որի նյութերը թողարկված են Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) թույլատրագրի ներքո։ CC-BY-SA-icon-80x15.png