Unsa ang sa pormal nga mga pinulongan mahimong gipahinungod? mga panig-ingnan sa paggamit

Unsa ang pormal nga pinulongan ug sa unsa nga paagi nga kini lahi gikan sa mga natural nga? Sa unsa nga paagi nga kini naporma? Unsa ang sa pormal nga mga pinulongan mahimong gipahinungod? Ug kini gigamit sa pagtumong sa kaniya?

Kinaiya sa pormal nga mga pinulongan

Busa kita pagtawag sa usa ka grupo sa mga artipisyal nga mga pinulongan, nga gihulagway pinaagi sa tukma nga mga lagda bahin sa pagtukod sa mga ekspresyon, ingon man sa ilang pagsabot. mga sistema nga gigamit alang sa industriya katuyoan mahimong gipahinungod ngadto sa pormal nga mga pinulongan. Sila gitukod sa pagsunod sa mga tin-aw nga mga lagda, paghatag og makanunayon, compact ug tukma nga pasundayag sa mga kabtangan ug mga relasyon sa mga gitun-an nga hilisgutan nga dapit o gimodelo butang. Ang bili ug kahulogan sa marka dili mausab sa bisan unsa nga pragmatic bahin (paggamit sa konteksto). Kini mao ang posible nga pasalamat ngadto sa atubangan sa pormal nga pinulongan sa mga lagda sa syntax pagkakabig ug semantiko kahulogan. Sila sa kanunay nga gitukod sa paggamit sa ingon nga sa usa ka base sa matematika. Tungod sa sa kamatuoran nga kini, sa bug-os nga gitas-on sa kalamboan, gigamit sa usa ka matang sa simbolikong ngalan nga gipadapat sa usa ka matang sa mga konsepto ug mga butang. Mao kana ang kinahanglan pormal nga mga pinulongan. Sila makahimo sa kamahinungdanon pagpakunhod data. Sa sayo pa, uban sa mga pormal ug natural nga mga pinulongan nga gigamit, apan uban sa anam-anam nga komplikasyon sa hilisgutan ug sa panginahanglan sa paghimo sa usa ka higpit nga lohikal nga pagtuki sa matematika pangatarungan, kini nakahukom sa pagbiya sa nangagi. Kini nga proseso milungtad gikan sa XVII sa XX siglo. Kini mao ang katapusan nga nga siglo gikonsiderar nga ang labing mabungahon sa mga termino sa pormal nga mga pinulongan. nagkalain-laing mga espesyal nga mga sanga gilalang. Busa, alang sa computer science mao ang sa partikular nga mga pinulongan kamahinungdanon programming ug sa algebra sa lohika, dili lamang sa teyoriya, apan usab gikan sa usa ka praktikal nga punto sa panglantaw.

kahulugan

Unsa ang sa pormal nga mga pinulongan mahimong gipahinungod, kita na sa makadiyot mipasabut. Apan unsay atong isulti bahin kanila? Ang pormal nga pinulongan gihatag sa usa ka daghan sa mga lain-laing mga kahulugan. Sa paglista kanila sa tanan, kini mobiya sa usa ka daghan sa mga panahon, mao nga sa usa ka pagtan-aw sa labing popular:

1. Usa ka yano nga listahan sa mga pulong diha sa pinulongan - kasagaran sa ingon uban sa pagtahod ngadto sa katapusan nga matang sa pagtukod ug mahitungod sa mga mga nga adunay usa ka yano nga gambalay.
2. Mga pulong nga namugna sa usa ka pormal nga gramatika.
3. Ang gambalay gibuhat sa regular nga mga ekspresyon.
4. Mga pulong nga namugna sa BPF-disenyo.
5. Ang gambalay, mailhan pinaagi sa usa ka may kinutuban automaton.

ni tan-awon sa usa ka panig-ingnan. Ang ni-ingon nga kita ang tibuok alpabeto, nga gihatag sa duha ka mga numero 1 ug 0. Sa ipakita ang sulat "O", atong gamiton ang usa ka kombinasyon sa 1010001. Kini mao ang paggamit sa usa ka pormal nga pinulongan. Kini mao usab ang posible nga sa paggamit sa walay sulod nga mga pulong (sa diha nga ang hilo adunay zero gitas-on, ug walay bisan unsa) uban sa usa ka espesyal nga pagtawag sa porma nga pamilyar kanato. Apan sa dugang nga detalye nga masabtan unsa ang usa ka pormal nga pinulongan, sa pagtabang sa 4 panig-ingnan nga gihatag sa sunod. Unsay buhaton niini? Sa pagsabut sa mga magbabasa mao nga ang usa ka pormal nga pinulongan mahimong gipahinungod. Apan ang usa ka gamay nga labaw pa mahitungod sa unsa nga paagi sila gilalang.

Pagtukod sa pormal nga mga pinulongan

Ang matag pinulongan mao ang usa ka pormal nga gambalay nga gibuhat sa makausa ug sa usa ka tawo. Sila kasagaran gitukod sa ibabaw sa sama nga sumbanan:

1. Sa pagsugod, sa pagpili sa alpabeto, o sa pipila ka hugpong sa mga piho nga mga karakter nga gitukod ug mga ekspresyon nga gigamit sa pinulongan. Pinaagi sa pormal nga pinulongan mao ang sa bisan unsa nga paagi sa programa sa paggamit sa usa ka computer.
2. Kini naghulagway sa syntax, nga mao, ang mga kinaiya ug mga lagda nga pagtukod sa makahuluganon nga mga tudling-pulong.
3. Sa pipila ka mga lagda alang sa mga pulong ug mga ekspresyon. Dinhi adunay usa ka pagmando sa: bisan unsa nga han-ay sa mga sulat nga kinahanglan nga makahimo sa pag-ihap sa mga pulong.

Pinaagi sa pormal nga pinulongan nagpasabut sa bisan unsa nga gambalay nga adunay tin-aw nga mga lagda - kini kinahanglan nga nahinumdum. Sa diha nga ang pagtukod, adunay mga pipila ka mga bahin. Busa, ang termino nga "kinaiya" kaayo multi-functional sa mga termino sa kahulogan, mao nga alang sa labing bahin nga gigamit ang termino nga sama sa sa usa ka "sulat". Apan sa ilalum kanila ang mahimong wala makasabut lamang sa naandan nga nota alang kanato, apan usab sa mga bracket, espesyal nga mga karakter, ug labaw pa. Kini magamit lamang sa pormal nga mga pinulongan.

PANIG-INGNAN 1

ni magsugod uban sa 1 ug 0. Sa maong mga kaso, sa paggamit sa mga labaw pa sa konsepto sa "pulong" ug himoa nga "formula." Ang una molihok ingon nga usa ka analogue sa butang ug ang ngalan nga gigamit sa pagtumong sa usa ka butang nga piho nga. Una sa tanan makasabut sa permanenteng ug tagsa-tagsa nga baryable sa ilalum nila. Sa kini nga mga, sa baylo, sa pagtukod mas komplikado nga mga tinukod, nga gigamit nga gigamit sa pipila ka mga function nga pinulongan. Ubos sa termino sa grupo nga makasabut sa pormula, ang paggamit sa nga sa usa ka pinulongan nga programa mao ang posible nga. Kini nga "pahamatngon" nga proseso, ug ang tawo sa pagkuha sa gitinguha nga resulta.

PANIG-INGNAN 2

Tagda ang panig-ingnan lohika nga adunay usa ka inversion (¬), disjunction (∧), ang conjunction nga (∨) ug ang implikasyon (⇒) ug pipila sa uban. Sa maong recording sa mga larawan mahimong gihatag ingon nga:

1. Usa ka;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Samtang ang mga karakter A, B, C, ipuli ang baryable ug kamo ang mga makataronganon nga operasyon. Diin sa paggamit sa pormal nga mga pinulongan sa niini nga matang? Ang kaylap nga paggamit sa ingon nga sa usa mekanismo makita sa programming mga pinulongan, matematika, mga relasyon, makataronganon ug sa matematika gimbuhaton, o mga bahin sa nga gihulagway sa programmer.

PANIG-INGNAN 3

ni tan-awon sa usa ka mas komplikado makataronganon pormula Himoa:

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

Mao nga kita kinahanglan pormal nga mga pinulongan. Hunahunaa kon unsa ang mahitabo kon kini gihulagway diha sa mga pulong? Karon, base sa usa ka pormula nagtuo kita konklusyon. Makahuluganon nga mga ekspresyon mahimong makuha diha sa pormal nga pinulongan lamang sa diha nga ang pipila ka mga lagda nga gitahod pre-formation, kausaban ug "pagsabot" sa mga pormula ug mga termino nga sila gihimo nga:

1. Construction termino pormula ug;
2. Pagtuon sa semantiko aspeto ug sa kahulogan;
3. Ang han-ay sa usa sa mga pormula ug sa uban pang mga termino.

Ang matag pormal nga pinulongan kinahanglan nga maayo ang gitukod gibutang sa mga lagda.

PANIG-INGNAN 4

Tungod sa presensya sa mga lagda sa pinulongan nga syntax output alang sa mga termino ug mga pormula mahimo isomorphic modelo kausaban. Busa kini nga gidala sa gawas dili lamang sa pagpamalandong (representasyon sa) sa usa ka piho nga lawas sa kahibalo nga anaa na, apan mahimo nga makadawat sa bag-o nga impormasyon. Dugang pa, ang kausaban, bisan pa, ug sa pagkuha sa dapit sumala sa tin-aw ug higpit nga mga lagda, kini mahimong automated. Ang susamang mga teknik nga gigamit sa batid nga sistema sa, sa kahibalo ugbokanan, ug mga produkto sa software nga desisyon nga suporta.

konklusyon

Pormal nga mga pinulongan nga kaylap nga gigamit sa siyensiya, ilabi na sa arte. Atol sa scientific research ug sa pagpatuman sa mga praktikal nga mga kalihokan nga sila makahimo sa makig-uban sa mga natural nga, sa panglantaw sa sa dakong makahuloganon abilidad sa ulahing. Apan pormal nga mga pinulongan mahimong mas tukma nga pagpahayag sa kahibalo ug sa pagtuman sa usa ka tumong nga pagbinayloay sa impormasyon nga natipon sa katawhan.