Թե ինչ է ֆորմալ լեզուների կարելի վերագրել. օրինակներ, օգտագործման

Որն է պաշտոնական լեզու, եւ ինչպես է այն տարբերվում է բնական: Ինչպես է այն ստեղծվել է: Թե ինչ է ֆորմալ լեզուների կարելի վերագրել. Եւ այն օգտագործվում է վերաբերում նրան.

Բնութագրիչները ֆորմալ լեզուների

Այնպես որ, մենք կոչ ենք անում մի խումբ արհեստական լեզուներով, որոնք բնութագրվում են ճշգրիտ կանոններով կառուցման վերաբերյալ արտահայտություններ, ինչպես նաեւ իրենց հասկանալու: համար օգտագործվող համակարգեր արդյունաբերական նպատակներով, կարող է վերագրել ֆորմալ լեզուների. Դրանք կառուցվել են համապատասխան հստակ կանոններով, ապահովել հետեւողական, կոմպակտ եւ ճշգրիտ ցուցադրումը հատկությունների ու հարաբերությունների կարգավորման ուսումնասիրվող առարկայի տարածքում կամ ձեւավորված օբյեկտների. Արժեքը եւ նշանակությունը նշանների չի կարող փոխվել ցանկացած պրագմատիկ հատկանիշների (օգտագործման համատեքստում): Սա հնարավոր շնորհիվ ներկայությունը ձեւական լեզվով կանոնների syntax դարձի եւ իմաստային մեկնաբանության: Նրանք հաճախ կառուցվում օգտագործելով որպես բազայի մաթեմատիկայի. Պայմանավորված է նրանով, որ այն, ամբողջ span զարգացման, որն օգտագործվում է մի շարք խորհրդանշական նշանակումների արդեն դիմել են մի շարք հասկացությունների եւ օբյեկտների. Դա այն է, թե ինչ պետք է ընդունի լեզուներով. Նրանք կարող են զգալիորեն նվազեցնել տվյալների: Ավելի վաղ, հետ միասին ֆորմալ եւ բնական լեզուների են օգտագործվել, բայց աստիճանաբար բարդացման առարկայի եւ պետք է կատարել մի խիստ տրամաբանական վերլուծություն մաթեմատիկական պատճառաբանելով, որոշվել է հրաժարվել անցյալը: Այս գործընթացը տեւել է XVII մինչեւ XX դարի. Դա անցյալ դարի համարվում է առավել արգասաբեր առումով ֆորմալ լեզուների. տարբեր հատուկ ճյուղերը ստեղծվել են: Այնպես որ, համակարգչային գիտության առանձնակի կարեւորություն ծրագրավորման լեզուների եւ հանրահաշվի տրամաբանության, ոչ միայն տեսական, այլեւ գործնական տեսանկյունից:

սահմանումը

Թե ինչ է ֆորմալ լեզուների կարելի է վերագրել, մենք ունենք արդեն համառոտ բացատրեց. Բայց այն, ինչ կարող ենք ասել, նրանց մասին: Պաշտոնական լեզու է տրվում շատ տարբեր սահմանումների: Է թվարկել բոլորին, դա կլինի թողնել շատ ժամանակ, այնպես որ, take a look է առավել տարածված:

1. Մի պարզ բառերի ցուցակի մեջ լեզվի սովորաբար ասում են, որ հետ կապված վերջնական տեսակի շինարարության եւ են նորերը, որոնք ունեն մի պարզ կառույց:
2. Բառեր գեներացվել է որոշակի ֆորմալ քերականության.
3. Որ կառույցը ստեղծվել է կանոնավոր արտահայտություններ:
4. Բառեր գեներացվել է BPF-դիզայն.
5. Կառուցվածքը, ճանաչելի է վերջավոր ավտոմատի:

Եկեք նայենք մի օրինակ. Եկեք ասում են, մենք ունենք ամբողջ այբուբենը, հաշվի առնելով երկու համարները 1 եւ 0. է դրսեւորել նամակը «O», մենք օգտագործում ենք մի համադրություն 1010001. Այս օգտագործումը ֆորմալ լեզվով. Դա նաեւ հնարավոր է օգտագործել դատարկ խոսքեր (երբ լարային ունի զրոյական երկարությունը, եւ չկա ոչինչ), ինչպես նաեւ հատուկ նշանակման ձեւով ծանոթ է մեզ. Բայց ավելի մանրամասն հասկանալ, թե ինչ է պաշտոնական լեզու, օգնել 4 օրինակներ, որոնք պիտի տրուի հաջորդ. Ինչ է դա անել: Է ընթերցողի ընկալման էր, որ մի պաշտոնական լեզու կարող է վերագրել: Բայց մի քիչ ավելի շատ, թե ինչպես են նրանք ստեղծվում.

Շինարարությունը ֆորմալ լեզուների

Յուրաքանչյուր լեզու է ձեւական կառույց է, որը ստեղծվել է մեկ անգամ, եւ ինչ - որ մեկը. Նրանք սովորաբար կառուցվում են նույն օրինակին:

1. Որպեսզի սկսվի, ընտրել այբուբենը, կամ ինչ - որ շարք կոնկրետ կերպարների, որոնք պետք է կառուցված, եւ արտահայտությունները օգտագործվում են լեզվով. Ի ֆորմալ լեզվով է որեւէ կերպ է ծրագրավորել օգտագործելով համակարգչի համար.
2. Այն նկարագրում է շարահյուսական, այսինքն, բնութագրեր եւ կանոնները, որոնք պետք է կառուցել իմաստալից նախադասություններ:
3. Որոշակի կանոնների բառեր եւ արտահայտություններ: Այստեղ կա մի կանոն. Ցանկացած տառերի հաջորդականություն պետք է կարողանա հաշվել խոսքերը.

Ըստ պաշտոնական լեզվով վերաբերում է ցանկացած կառույց, որը ունի հստակ կանոններ, այն պետք է հիշել: Երբ կառուցում, կան որոշ առանձնահատկություններ: Այսպիսով, տերմինը «հերոսը» շատ բազմաբնակարան ֆունկցիոնալ առումով իմաստով, այնպես որ, քանի որ մեծ մասը օգտագործեց որպես «նամակի»: Բայց տակը նրանց կարելի է հասկանալ ոչ միայն սովորական նշում մեզ համար, այլ նաեւ փակագծերը, հատուկ նիշ, եւ ավելի. Սա վերաբերում է միայն ֆորմալ լեզուների.

ՕՐԻՆԱԿ 1

Սկսենք հետ 1 եւ 0: Նման դեպքերում, օգտագործել ավելի հայեցակարգը »տերմինի» եւ «բանաձեւով»: Առաջին հանդես է գալիս որպես անալոգ օբյեկտի եւ անունը օգտագործվում է անդրադառնալ, որ մի բան կոնկրետ. Առաջին հերթին հասկանալ, հաստատուններ եւ անհատական փոփոխականներ տակ նրանց. Դրանցից, իր հերթին, կառուցել ավելի բարդ կառույցներ, որն օգտագործվում օգտագործվել ինչ-որ լեզվի գործառույթը: Տակ պայմանները խմբի հասկանալ բանաձեւը, որոնց օգտագործումը որոշակի ծրագրավորման լեզվի հնարավոր է. Այս «հրահանգ» է մշակվում, եւ անձը կստանա ցանկալի արդյունքի:

ՕՐԻՆԱԿ 2

Տեսնենք, տրամաբանությունը, որը չկա շրջում (¬), խզում (∧) շաղկապը (∨) եւ եզրակացություններ (⇒) եւ մի քանի ուրիշներ: Այդպիսի ձայնագրության պատկերների կարող է տրվել որպես:

1. Ա.
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Որպես հերոսների A, B, C, փոխարինել փոփոխականները եւ դուք կստանաք այն տրամաբանական գործողությունները: Որտեղ է կիրառել ֆորմալ լեզուների այս տեսակի. Համատարած օգտագործումը նման մեխանիզմի, որը հայտնաբերվել է ծրագրավորման լեզուների, մաթեմատիկայի, հարաբերություններ, տրամաբանական եւ մաթեմատիկական գործառույթների կամ մասերի, որոնցից նկարագրված են ծրագրավորող:

ՕՐԻՆԱԿ 3

Եկեք նայենք մի ավելի բարդ տրամաբանական բանաձեւով `

¬ (A∨¬S) ⇔ ¬A∧S = 1

Ահա թե ինչու մենք պետք է ձեւական լեզուներով. Պատկերացրեք, թե ինչ տեղի կունենար, եթե դա եղել նկարագրել բառերով. Այժմ, հիմնված բանաձեւով ենք հասկանալ, եզրակացություններ: Իմաստալից արտահայտությունները կարող է ձեռք բերել ֆորմալ լեզվով, միայն այն ժամանակ, երբ որոշակի կանոններ, որոնք հարգված նախապատմություն ձեւավորմանը, փոխել եւ «ըմբռնումով» է բանաձեւերի եւ պայմանները, որոնց նրանք կարող են պատրաստված:

1. Շինարարություն երկարաժամկետ բանաձեւեր եւ,
2. Ուսումնասիրությունը իմաստային առումով եւ մեկնաբանության.
3. Այդ հերթականությունը մեկի բանաձեւեր եւ այլ ժամկետով:

Յուրաքանչյուր պաշտոնական լեզու պետք է լավ հաստատված սահմանված կանոնների:

ՕՐԻՆԱԿ 4

Պայմանավորված է ներկայության կանոնների լեզվի շարահյուսական թողարկման համար ժամկետների եւ բանաձեւեր կարող են կատարվել isomorphic վերափոխման մոդելներ. Այնպես որ, դա կիրականացվի ոչ միայն արտացոլումն (ներկայացուցչություն) հատուկ մարմին գիտելիքների, որ արդեն գոյություն ունի, բայց կարող է ստանալ նոր տեղեկություններ: Ավելին, տրանսֆորմացիայի, չնայած, եւ տեղի կունենա, ըստ հստակ եւ խիստ կանոնների, այն կարող է ավտոմատացված: Նմանատիպ տեխնիկան օգտագործվում են փորձագիտական համակարգերի, գիտելիքների հիմքերի, եւ ծրագրային ապահովման որոշումների աջակցության արտադրանք.

եզրափակում

Ֆորմալ լեզուներն են լայնորեն օգտագործվում է գիտության, հատկապես արվեստի. Ընթացքում գիտական հետազոտությունների եւ իրականացման գործնական գործունեության նրանք կարող են համագործակցել բնական է, հաշվի առնելով զգալի արտահայտիչ կարողությունների վերջինս: Դեռ ֆորմալ լեզուները կարող են ավելի ճշգրիտ փոխանցել գիտելիքներ եւ իրականացնել օբյեկտիվ տեղեկատվության փոխանակումը կուտակված մարդկության կողմից: