Ką formalių kalbų galima priskirti? pavyzdžiai naudojimo

Kas yra formali kalba ir kuo ji skiriasi nuo natūralios? Kaip ji buvo sukurta? Ką formalių kalbų galima priskirti? Ir tai yra vartojamas su juo?

Charakteristikos formalių kalbų

Taigi mes vadiname grupės dirbtinių kalbų, kurie pasižymi tikslių taisyklių, susijusių su posakių statybos, taip pat jų supratimą. naudojamos pramoniniams tikslams sistemos gali būti priskirta formalių kalbų. Jie statomi laikantis aiškių taisyklių, teikia nuoseklų, kompaktiškas ir tiksliai rodyti savybes ir santykius studijuojamos dalykinės srities arba sumodeliuotų objektų. Vertė ir prasmė ženklų negali būti pakeistas remiantis jokiais pragmatinių funkcijų (naudojimo kontekste). Tai įmanoma dėka į oficialų kalba apie sintaksės konvertavimo ir semantinio aiškinimo taisyklių buvimą. Jie dažnai pastatytas naudojant kaip matematikos bazę. Atsižvelgiant į tai, kad jis, dėl viso span plėtrą, naudojo simbolinių pavadinimų įvairovė buvo taikomi prie sąvokų ir objektų įvairovė. Štai ką turi oficialius kalbų. Jie gali žymiai sumažinti duomenis. Anksčiau kartu su formaliojo ir natūralių kalbų buvo naudojami, tačiau su palaipsniui komplikacija dalyko ir būtinybę padaryti griežtą loginę analizę matematinės argumentais, buvo nuspręsta atsisakyti praeities. Šis procesas truko nuo XVII iki XX amžiaus. Tai praėjusio šimtmečio yra laikoma labiausiai vaisingas kalbant apie formalius kalbomis. buvo sukurta įvairių specialiųjų šakos. Taigi, kompiuterių mokslo, yra ypač svarbus programavimo kalbų ir logikos algebra, ne tik teorinis, bet ir iš praktiniu požiūriu.

apibrėžimas

Ką formalių kalbų galima priskirti, mes jau turime trumpai paaiškinti. Bet ką mes galime pasakyti apie juos? Formali kalba skiriama daug skirtingų apibrėžimų daug. Į sąrašą juos visus, ji paliks daug laiko, todėl pažvelgti į populiariausių išvaizdą:

1. Paprastas sąrašas žodžių kalba - paprastai pasakyti, kad, atsižvelgiant į galutinę konstrukciją ir apie tuos, kurie turi paprastą struktūrą.
2. Žodžiai generuoja tam tikrą formaliojo gramatikos.
3. Struktūra sukūrė reguliarios išraiškos.
4. Žodžiai generuojami BPF-dizainas.
5. Struktūra, atpažįstamas iš baigtinio automato.

Pažvelkime į pavyzdį. Tarkime, kad turime visą abėcėlę, atsižvelgiant du skaičiai 1 ir 0. Norėdami rodyti raidę "O", mes naudojame 1010001. Šis derinys yra formalios kalbos vartojimas. Taip pat galima naudoti tušti žodžiai (kai eilutė turi nulinį ilgį, ir ten nieko) su specialiu priskyrimo formos susipažinę su mumis. Tačiau išsamiau suprasti, kas yra formali kalba, padėti 4 pavyzdžius, kad bus suteikta toliau. Ką jis daro? Skaitytojui supratimą buvo tai, kad formalus kalba gali būti priskirta. Bet šiek tiek daugiau apie tai, kaip jos yra sukurtos.

Statybos oficialių kalbų

Kiekviena kalba yra oficiali struktūra, kuri buvo sukurta kartą ir kažkas. Jie paprastai pastatyta ant to paties modelio:

1. Norėdami pradėti, pasirinkite abėcėlę, arba kai konkrečių simbolių rinkinį, kuris bus pastatytas ir išsireiškimai naudojamą kalbą. Iki oficialaus kalba yra koks nors būdas programuoti naudojant kompiuterį.
2. Jame aprašoma, sintaksę, ty charakteristikos ir taisyklės, kurios bus pastatyti prasmingus sakinius.
3. Dėl tam tikrų taisyklių, žodžių ir posakių. Čia yra taisyklė: bet kokia raidžių seka turi gebėti skaičiuoti žodžius.

Iki oficialaus kalba reiškia bet kokią struktūrą, kuri turi aiškias taisykles - reikėtų prisiminti. Statant, yra kai kurios funkcijos. Taigi, terminas "charakteris" yra labai multi-funkcinis požiūriu prasme, todėl didžiąja dalimi naudojami terminą kaip "laiško". Bet po jais gali būti suprantama ne tik įprastą notacijos mums, bet taip pat skliausteliuose, specialių simbolių, ir dar daugiau. Tai taikoma tik formalių kalbų.

1 PAVYZDYS

Pradėkime nuo 1 iki 0. Tokiais atvejais naudoti daugiau apie "terminas" ir koncepciją "formulę." Pirmasis veikia kaip objekto analoginio ir pavadinimas naudojamas kreiptis į kažką konkretaus. Pirmiausia suprasti konstantas ir atskirus kintamuosius pagal jų. Iš jų, savo ruožtu, sukurti daugiau sudėtingų struktūrų, kuris yra naudojamas naudojamas kai kalbos funkcija. Pagal grupės sąvokos suprasti formulę, kurios naudojimas tam tikra programavimo kalba yra įmanoma. Šis "instrukcija" bus apdoroti, o asmuo bus gauti norimą rezultatą.

2 PAVYZDYS

Apsvarstykite pavyzdys logika, kurioje yra inversija (¬), disjunkcijos (∧), jungtukas (∨) ir išvada (⇒) ir keletas kitų. Tokiu įrašymo vaizdų gali būti skiriamas kaip:

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

Kaip simbolių A, B, C, pakeisti kintamuosius ir gausite į logines operacijas. Kur kreiptis oficialius kalbų tokio tipo? Plačiai naudoti tokio mechanizmo randamas programavimo kalbų, matematikos, santykius, loginių ir matematinių funkcijų, arba jų dalių, iš kurių buvo aprašytas programuotojas.

3 PAVYZDYS

Pažvelkime daugiau sudėtingų loginių formulių:

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

Štai kodėl mes turime oficialius kalbų. Įsivaizduokite, kas būtų nutikę, jei jis buvo aprašytas žodžiais? Dabar, remiantis formule mes išvesti išvadas. Prasmingi posakiai galima gauti oficialų kalba tik tada, kai laikomasi tam tikrų taisyklių anksto sudarymo, pakeitimo ir "suprasti" iš formulių ir terminų, iš kurių jie pagaminti:

1. Statybos laikotarpio formules ir;
2. Tyrimas semantinio aspektu ir žodžiu;
3. Vieno iš šių formulių ir kitų laikotarpiu seka.

Kiekvienas formali kalba turėtų būti gerai žinomi taisyklių rinkinys.

4 PAVYZDYS

Dėl į kalbos sintaksės išėjimo terminus ir formules taisyklių buvimas gali būti Isomorphic transformacijos modelius. Taigi ji bus atliekami ne tik atspindys (atstovavimą) konkreti kūno žinių, kad jau egzistuoja, bet gali gauti naują informaciją. Be to, transformacija, nors ir vyks pagal aiškias ir griežtas taisykles, jis gali būti automatizuotas. Panašūs metodai naudojami ekspertines sistemas, žinių bazių ir programinės įrangos sprendimų paramos produktų.

išvada

Formalios kalbos yra plačiai naudojami moksle, ypač mene. į mokslinius tyrimus ir praktinę veiklą įgyvendinant jos gali sąveikauti su gamtos, atsižvelgiant į didelių išraiškingų gebėjimų pastarasis. Tačiau oficialūs kalbomis galima tiksliau perteikti žinias ir atlikti objektyvų keitimąsi sukaupta žmonijos informacija.