Што да фармальных мовах можна аднесці? Прыклады выкарыстання

Дата:

2019-05-28 12:30:12

Прагляды:

614

Рэйтынг:

1Любіць 0Непрыязнасць

Доля:

Table of contents:

Што такое фармальны мову і чым ён адрозніваецца ад натуральнага? Як ён фармаваўся? Што да фармальных мовах можна аднесці? І што выкарыстоўваецца для яго абазначэння?

Характарыстыка фармальных моў

да фармальных мовах можна аднесціТак называюць групу штучных моў, якія характарызуюцца дакладнымі правіламі адносна пабудовы выразаў, а таксама іх разумення. Да фармальных мовах можна аднесці сістэмы, якія выкарыстоўваюцца для прыкладных мэт. Яны будуюцца з захаваннем выразных правілаў, забяспечваюць несупярэчны, кампактнае і дакладнае адлюстраванне адносін і уласцівасцяў вывучаемай прадметнай вобласці або мадэляваных аб'ектаў. Значэнне і сэнс выкарыстоўваюцца знакаў не можа змяніцца ад нейкіх прагматычных асаблівасцяў (кантэксту выкарыстання). Гэта магчыма дзякуючы прысутнасці ў фармальных мовах правілаў сінтаксічнага пераўтварэння і семантычнай інтэрпрэтацыі. Часта яны будуюцца пры выкарыстанні ў якасці базы матэматыкі. Дзякуючы таму, што ў ёй, на ўсім прамежку развіцця, выкарыстоўваліся розныя сімвалічныя абазначэння, што ўжываліся да розных паняццях і аб'ектах. Вось для чаго патрэбныя фармальныя мовы. Яны дазваляюць значна скарачаць дадзеныя. Раней разам з фармальным выкарыстоўваліся і натуральныя мовы, але з паступовым ускладненнем прадмета і неабходнасцю здзяйсняць строгі лагічны аналіз матэматычных меркаванняў было прынята рашэнне адмовіцца ад апошніх. Гэты працэс расцягнуўся з XVII па XX стагоддзе. Менавіта мінулае стагоддзе лічыцца найбольш плённым з пункту развіцця фармальных моў. Былі створаны розныя спецыяльныя адгалінаванні. Так, для інфарматыкі асаблівае значэнне маюць мовы праграмавання і алгебры логікі, прычым не толькі з тэарэтычнай, але і з практычнай пункту гледжання.

Вызначэнне

да фармальным моваў ставіццаШто да фармальных мовах можна аднесці, мы ўжо коратка растлумачылі. Але што можна сказаць пра іх саміх? Фармальным мовах даецца шмат розных азначэнняў. Каб пералічыць іх усё, сыдзе шмат часу, таму азнаемімся з самымі папулярнымі:

  1. Просты пералік слоў, якія ўваходзяць у дадзены мова – звычайна так кажуць адносна канчатковага тыпу пабудовы і пра тыя з іх, што маюць простую структуру.
  2. Словы, спароджаныя пэўнай фармальнай граматыкай.
  3. Структура, створаная рэгулярнымі выразамі.
  4. Словы, спароджаныя БНФ-канструкцыяй.
  5. Структура, распознаваемая канчатковым аўтаматам.

Давайце разгледзім на прыкладзе. Дапусцім, у нас ёсць ўвесь алфавіт, зададзены двума лічбамі: 1 і 0. Для адлюстравання літары «Аб» мы выкарыстоўваем камбінацыю 1010001. Гэта і ёсць прымяненне фармальнага мовы. Таксама магчыма выкарыстанне пустога слова (калі радок мае нулявую даўжыню і ў ёй нічога няма) з асаблівым пазначэннем у звыклым для нас выглядзе. Але больш дэталёва зразумець, што такое фармальны мову, дапамогуць прыкладу 4, якія будуць прыведзены далей. Для чаго гэта трэба? Каб у чытача было разуменне, што да фармальных мовах можна аднесці. Але яшчэ трохі пра тое, як яны ствараюцца.

Больш:

Нервовы імпульс, яго пераўтварэнне і механізм перадачы

Нервовы імпульс, яго пераўтварэнне і механізм перадачы

Нервовая сістэма чалавека выступае своеасаблівым каардынатарам у нашым арганізме. Яна перадае каманды ад мозгу мускулатуры, органаў, тканін і апрацоўвае сігналы, якія ідуць ад іх. У якасці своеасаблівага носьбіта дадзеных выкарыстоўваецца нервовы імп...

Куды паступаць пасля 11 класа? Якую выбраць прафесію?

Куды паступаць пасля 11 класа? Якую выбраць прафесію?

Пры выбары сваёй будучай прафесіі не варта абапірацца на чые-то рэкамендацыі і парады, тым больш не трэба падпарадкоўвацца сваім бацькам, якія даволі часта вырашаюць без вас самастойна, куды паступіць пасля 11 класа. Варта задумацца, наколькі паспяхо...

Крывяносная сістэма жывёл, як вынік эвалюцыйнага развіцця свету

Крывяносная сістэма жывёл, як вынік эвалюцыйнага развіцця свету

Крывяносная сістэма жывёл прайшла доўгі шлях фарміравання ў ходзе эвалюцыйнага развіцця свету. Яна ўтварылася на месцы рудыментарных частак першаснай паражніны цела, якая ў вышэйшых жывёл была выцесненая целломом, або другаснай паражніной цела. У пра...

Канструяванне фармальных моў

для чаго патрэбныя фармальныя мовыКожны фармальны мова з'яўляецца канструкцыяй, якая была створана калі-то і кім-то. Будуюцца яны звычайна па адной схеме:

  1. Для пачатку выбіраюць алфавіт ці нейкую сукупнасць пэўных знакаў, з якіх і будуць будавацца выразы, якія ўжываюцца ў мове. Да фармальных мовах ставіцца любы спосаб праграмавання з дапамогай кампутара.
  2. Апісвае сінтаксіс, то ёсць асаблівасці і правілы, па якіх будуць будавацца асэнсаваныя прапановы.
  3. Па пэўных правілах складаюцца словы і выразы. Тут існуе правіла: любая паслядоўнасць літар павінна мець магчымасць лічыцца словам.

Да фармальных мовах ставіцца любая канструкцыя, якая мае выразныя правілы – гэта варта запомніць. Пры пабудове існуюць некаторыя асаблівасці. Так, паняцце «сімвал» вельмі шматфункцыянальнае з пункту гледжання сэнсавай нагрузкі, таму ў масе сваёй выкарыстоўваюць такі тэрмін, як «літара». Але пад імі могуць разумець не толькі звычайныя для нас абазначэння, але і дужкі, адмысловыя знакі і многае іншае. Адносіцца гэта не толькі да фармальнай мовах.

Прыклад 1

Давайце пачнем з 1 і 0. У такіх выпадках выкарыстоўваюць яшчэ паняцця «тэрм» і «формула». Першы выступае ў якасці аналага імя аб'екта і выкарыстоўваецца для абазначэння чаго-то канкрэтнага. У першую чаргу пад імі разумеюць канстанты і прадметныя зменныя. З іх, у сваю чаргу, будуюцца больш складаныя канструкцыі, для чаго выкарыстоўваецца ужывальная ў нейкім мове функцыя. Пад формулай разумеюць групу тэрме, прымяненне якой у пэўным мове праграмавання з'яўляецца магчымым. Дадзенае «указанне» будзе апрацавана, і чалавек атрымае неабходны вынік.

Прыклад 2

дзе прымяняюцца фармальныя мовыРазгледзім на прыкладзе логікі, у якой ёсць інверсія (¬), дизъюнкция(∧), конъюнкция(∨) і імплікацыі(⇒) і шэраг іншых. У якасці вобразаў можна прывесці такія запісы:

  1. А;
  2. А∧Ў ⇒ ¬А
  3. ¬(А∨¬З)

У якасці сімвалаў А, У, З падстаўце зменныя і вы атрымаеце лагічныя аперацыі. Дзе прымяняюцца фармальныя мовы падобнага тыпу?Шырокае выкарыстанне падобны механізм знайшоў у мовах праграмавання, матэматыцы, адносінах, лагічных і матэматычных функцыях або асобных частках, якія былі апісаны самім праграмістам.

Прыклад 3

Давайце разгледзім больш складаную лагічную формулу:

¬(А∨¬З) ⇔ ¬А∧З = 1

Вось навошта патрэбныя фармальныя мовы. Уявіце што было б, калі гэта апісвалася словамі? А цяпер, абапіраючыся на формулу, будзем выводзіць высновы. Асэнсаваныя выразы можна атрымаць у фармальным мове толькі тады, калі выконваюцца загадзя пэўныя правілы адукацыі, змены і «разумення» формул і тэрме, з якіх яны складаюцца:

  1. Пабудова тэрм і формул;
  2. Прапрацоўка семантычнага аспекту і інтэрпрэтацыя;
  3. Парадак прытрымлівання адных формул і тэрм з іншых.

У кожным фармальным мове павінна быць добра прапрацавана сукупнасць дадзеных правілаў.

Прыклад 4

Дзякуючы наяўнасці ў сінтаксісе мовы правілы вываду для тэрме і формул можна выконваць ізаморфныя пераўтварэнні мадэляў. Так будзе праводзіцца не толькі адлюстраванне (рэпрэзентацыя) пэўнай сукупнасці ведаў, што ўжо ёсць, але і, магчыма, атрыманне новай інфармацыі. Прычым пераўтварэнне, хоць і будзе адбывацца па выразным і строгім правілах, цалкам можна аўтаматызаваць. Падобныя тэхналогіі ўжываюцца ў экспертных сістэмах, базах ведаў і праграмных прадуктах падтрымкі прыняцця рашэнняў.

Заключэнне

навошта патрэбныя фармальныя мовыФармальныя мовы знайшлі шырокае прымяненне у навуцы, асабліва у тэхніцы. Падчас правядзення навуковага даследавання або пры ажыццяўленні практычнай дзейнасці яны могуць ўзаемадзейнічаць з натуральнымі, з прычыны значных выразных здольнасцяў апошняга. Але ўсё ж фармальныя мовы дазваляюць больш дакладна перадаць веды і праводзіць аб'ектыўны абмен інфармацыяй, назапашанай чалавецтвам.


Article in other languages:

AR: https://tostpost.com/ar/education/17426-what-formal-languages-can-be-attributed-examples-of-usage.html

DE: https://tostpost.com/de/bildung/33248-was-zu-den-formalen-sprachen-geh-ren-beispiele-f-r-die-verwendung.html

En: https://tostpost.com/education/28398-what-formal-languages-can-be-attributed-examples-of-usage.html

ES: https://tostpost.com/es/la-educaci-n/33120-de-que-a-la-formal-idiomas-se-puede-atribuir-ejemplos-de-uso.html

HI: https://tostpost.com/hi/education/19074-what-formal-languages-can-be-attributed-examples-of-usage.html

JA: https://tostpost.com/ja/education/17087-what-formal-languages-can-be-attributed-examples-of-usage.html

KK: https://tostpost.com/kk/b-l-m/33878-b-l-formaldy-t-lderd-zhat-yzu-a-bolady-paydalanu-lg-ler.html

PL: https://tostpost.com/pl/edukacja/34925-co-do-formalnych-j-zyk-w-mo-na-przypisa-przyk-ady-u-ycia.html

PT: https://tostpost.com/pt/educa-o/34729-que-ao-formal-de-l-nguas-pode-ser-atribu-do-exemplos-de-utiliza-o.html

TR: https://tostpost.com/tr/e-itim/30307-bu-bi-imsel-diller-ba-lanabilir-kullan-m-rnekleri.html

UK: https://tostpost.com/uk/osv-ta/34089-scho-do-formal-nih-mov-mozhna-v-dnesti-prikladi-vikoristannya.html

ZH: https://tostpost.com/zh/education/15023-what-formal-languages-can-be-attributed-examples-of-usage.html






Alin Trodden - аўтар артыкула, рэдактар
"Прывітанне, Я Алін Тродден. Я пішу тэксты, чытаю кнігі і шукаю ўражанні. І я нядрэнна ўмею распавядаць вам пра гэта. Я заўсёды рады ўдзельнічаць у цікавых праектах."

Заўвага (0)

Гэтая артыкул не мае каментароў, будзьце першым!

Дадаць каментар

Навіны

Што такое навука: вызначэнне і асноўныя характарыстыкі

Што такое навука: вызначэнне і асноўныя характарыстыкі

Што такое навука? На працягу ўсяго свайго жыцця мы сутыкаемся з гэтым паняццем неаднаразова. Аднак далёка не кожны чалавек зможа даць ясны адказ на дадзены пытанне. Навука з'яўляецца вызначальнай каштоўнасцю сучаснай культуры, яе ...

Навуковая карціна свету і яе разнавіднасці

Навуковая карціна свету і яе разнавіднасці

Паняцце  навуковая карціна свету выкарыстоўваецца ў розных інтэрпрэтацыях. Гэта адмысловая форма веды, заснаваная на навуковых дадзеных, якія адпавядаюць пэўнаму гістарычнаму перыяду. Паняцце  навуковая карціна свету час...

Асманская імперыя

Асманская імперыя

Атаманская (Асманская) імперыя, гісторыя якой пачалася з 14 стагоддзя (з часоў заходу Візантыі), была ўтворана ў Анатолі плямёнамі цюрак. Праіснавала дзяржава да самага 1922 года – моманту фарміравання Турэцкай рэспублікі. Н...

Хто вынайшаў ровар - немец фон Дрез або руская Артамонаў?

Хто вынайшаў ровар - немец фон Дрез або руская Артамонаў?

Часта бывае, што рускія, абагнаўшы жыхароў іншых краін, забываюць аб існай дробязі, - зафіксаваць факт такога апярэджання, задакументаваць яго, аформіўшы неабходныя патэнты і аўтарскія пасведчанні. Ва ўсім свеце вядома, што першым...

Што такое падежный пытанне? Падежный і сэнсавай пытанні

Што такое падежный пытанне? Падежный і сэнсавай пытанні

Ні адно слова рускай мовы ў сказе не можа існаваць самастойна. Для таго каб выказванне мела сэнс, у ім павінна быць сувязь паміж усімі яго часткамі. Менавіта гэтая сувязь называецца сінтаксічнай, якая утвараецца пры дапамозе падеж...

Адасобленае дадатак: прыклад. Адасобленае дадатак: прыклады прапаноў. Сказы з адасобленымі прыкладаннямі

Адасобленае дадатак: прыклад. Адасобленае дадатак: прыклады прапаноў. Сказы з адасобленымі прыкладаннямі

Пытанні адносна адасобленых прыкладанняў досыць часта сустракаюцца ў экзаменацыйных заданнях па ЕГЭ і ГИА, і вельмі многія экзаменующиеся няздольныя правільна адказаць на іх. Як жа навучыцца знаходзіць у сказе прыкладанне і пісьме...