Mitä virallisia kieliä voidaan katsoa? esimerkkejä käyttö

Mikä on muodollinen kieli ja miten se eroaa luonnon? Miten se syntyi? Mitä virallisia kieliä voidaan katsoa? Ja sitä käytetään viittaamaan häntä?

Ominaisuudet virallisia kieliä

Joten me kutsumme ryhmä keinotekoisia kieliä, joille on ominaista tarkat säännöt rakentamista ilmaisuja sekä niiden ymmärtämistä. järjestelmiä käytetään teollisiin tarkoituksiin voidaan katsoa virallista kieltä. Ne on rakennettu noudattaen selkeät säännöt, antaa johdonmukaisia, kompakti ja tarkka näyttö ominaisuudet ja suhteet tutkittu aihepiirin tai mallinnettu esineitä. Arvo ja merkitys merkkejä ei voida muuttaa millään käytännöllinen ominaisuuksia (käytön yhteydessä). Tämä on mahdollista, koska läsnäolo muodollisessa kielen sääntöjen syntaksin muuntaminen ja semanttinen tulkinta. Ne ovat usein rakennettu käyttäen pohjana matematiikan. Johtuen siitä, että se, koko span kehitystä, käytetään erilaisia symbolinen nimityksiä on sovellettu eri käsitteitä ja esineitä. Se mitä on muodollinen kieliä. Ne voidaan merkittävästi vähentää tietojen. Aiemmin sekä virallisen ja luonnollisten kielten on käytetty, mutta asteittaista komplikaatio aiheesta ja tarvetta tehdä tiukka looginen analyysi matemaattista päättelykykyä, päätettiin luopua menneisyyden. Tämä prosessi kesti XVII XX vuosisadalla. Se on viime vuosisadalla pidetään kaikkein hedelmällistä kannalta virallista kieltä. poikkeavilla oksat luotiin. Niinpä tietojenkäsittelytiede ovat erityisen tärkeitä ohjelmointikielten ja algebran logiikan, paitsi teoreettinen, mutta myös käytännön kannalta.

määritelmä

Mitä virallisia kieliä voidaan katsoa, meillä on jo selostettu lyhyesti. Mutta mitä voimme sanoa heille? Muotokieleen on antanut paljon erilaisia määritelmiä. Luetella niitä kaikkia, se jättää paljon aikaa, joten vilkaise suosituimmat:

1. Yksinkertainen luettelo kyseisen kielen sanaa - yleensä sanoa niin suhteessa lopulliseen rakenteeltaan ja siitä ne, jotka ovat rakenteeltaan yksinkertainen.
2. Sanat syntyy tietty formaali kielioppi.
3. Luomalle rakenteelle säännöllisiä lausekkeita.
4. Sanat tuottamat BPF suunnittelun.
5. Rakenne, tunnistaa automaatti.

Katsotaanpa esimerkki. Sanotaan meillä on kaikki aakkoset, annettiin kaksi lukua 1 ja 0. Jos haluat näyttää kirjain "O", käytämme yhdistelmää 1010001. Tämä on käyttää virallista kieltä. On myös mahdollista käyttää tyhjiä sanoja (kun jono on nollapituutta, ja ei ole mitään) ja erityinen nimitys muodossa meille tuttuja. Mutta tarkemmin ymmärtää, mitä on muodollinen kieli, auttaa 4 esimerkkejä annetaan seuraavaksi. Mitä se tekee? Lukijan ymmärrystä oli, että muodollinen kieli voidaan katsoa. Mutta hieman enemmän siitä, miten ne on luotu.

Rakentaminen virallista kieltä

Jokainen kieli on virallinen rakenne, joka luotiin aikoinaan ja joku. Ne ovat yleensä rakennettu samaa kaavaa:

1. Aloita valita aakkoset, tai jokin joukko tiettyjä merkkejä, jotka rakennetaan ja käytetyt ilmaisut kielellä. Muodollisen kieli on jokin tapa ohjelmoida tietokoneen avulla.
2. Siinä kuvataan syntaksin eli ominaisuudet ja sääntöjä, joilla rakentaa mielekästä lauseita.
3. Tietyistä säännöistä sanoja ja ilmaisuja. Täällä on sääntö: mitä tahansa kirjainyhdistelmä on voitava luottaa sanoja.

Muodollisella kielellä tarkoittaa mitä tahansa rakennetta, joka on selkeät säännöt - on syytä muistaa. Kun rakennus on joitakin ominaisuuksia. Siten termi "merkki" on hyvin monikäyttöinen kannalta merkitystä, joten suurin osa käytti termiä kuin "kirjeen". Mutta niiden alle voi ymmärtää paitsi tavallista merkintätapa meille, mutta myös kiinnikkeet, erikoismerkkejä, ja enemmän. Tämä koskee vain muodollisia kieltä.

Esimerkki 1

Aloitetaan 1 ja 0. Tällaisissa tapauksissa käyttää enemmän käsitteen "termin" ja "kaava". Ensimmäinen toimii analoginen esineen ja nimi, jota käytetään viitata johonkin tiettyyn. Ensinnäkin ymmärtää vakiot ja yksittäisten muuttujien niiden alle. Näistä puolestaan rakentaa monimutkaisempia rakenteita, jota käytetään käytetään joissakin kielellä toiminto. Ehtojen ryhmän ymmärrä sitä kaavaa, jonka käytöstä tietyllä ohjelmointikielellä on mahdollista. Tämä "opetus" käsitellään, ja henkilö saa toivottua tulosta.

Esimerkki 2

Tarkastellaan esimerkiksi logiikka, jossa on inversio (¬), disjunktio (∧), konjunktiota (∨) ja epäsuorasti (⇒) ja monet muut. Tällaisessa kuvien tallentamisen voidaan antaa:

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

Koska kirjaimet A, B, C, korvaa muuttujat ja saat looginen toimintansa. Mihin kohtaan virallisia kieliä tämäntyyppisen? Laajaa käyttöä tällainen mekanismi löytyy ohjelmointikieliä, matematiikkaa, suhteet, loogisia ja matemaattisia tehtäviä, tai joiden osia on kuvannut ohjelmoija.

Esimerkki 3

Katsotaanpa monimutkaisempi loogista kaavat:

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

Siksi tarvitsemme virallisia kieliä. Kuvitella, mitä olisi tapahtunut, jos se kuvattiin sanoilla? Nyt kaavan perusteella voimme päätellä johtopäätöksiä. Mielekäs ilmaisuja voidaan saada virallisen kielen ainoastaan tiettyjen sääntöjen noudattaminen valmiiksi muodostumista, muutos ja "ymmärrys" kaavojen ja ehdot, joita ne ovat tehneet:

1. Rakentaminen aikavälin kaavat ja;
2. Tutkimus semanttisen aspektin ja tulkinta;
3. Sekvenssin yksi kaavoista ja muut aikavälillä.

Kukin virallista kieltä tulisi vakiintunut sääntöjen joukko.

Esimerkki 4

Läsnäolosta johtuen sääntöjen kielen syntaksi ulostulo termejä ja kaavoja voidaan tehdä isomorfiset muutos malleja. Joten se toteutetaan paitsi heijastus (edustus) erityinen elin tietoa, joka on jo olemassa, mutta voi saada uutta tietoa. Lisäksi muutos, vaikka, ja tapahtuu mukainen selkeitä ja tiukkoja sääntöjä, se voidaan automatisoida. Samanlaisia tekniikoita käytetään asiantuntijajärjestelmät, tietokannat ja ohjelmistot päätöksenteon tueksi tuotteita.

johtopäätös

Muodollinen kieliä käytetään laajasti tieteen, varsinkin alalla. Aikana tieteellistä tutkimusta ja toteuttaa käytännön toimintaa he voivat olla vuorovaikutuksessa luonnollisen, kun otetaan huomioon huomattavat ilmeikäs kykyjä jälkimmäisen. Vielä virallista kieltä voi tarkemmin välittää tietoa ja suorittaa puolueeton tietojenvaihto kertyneen ihmiskunnan.