Što formalnih jezika može se pripisati? Primjeri korištenja

Što je formalni jezik i kako se razlikuje od prirodnog? Kako je nastao? Što formalnih jezika može se pripisati? I to se koristi da se odnosi na njega?

Karakteristike formalnih jezika

Tako zovemo skupinu umjetnih jezika, koje karakterizira preciznim pravilima o gradnji izraza, kao i njihovo razumijevanje. Sustavi koji se koriste u industrijske svrhe može se pripisati formalnih jezika. Oni su izgrađena u skladu s jasnim pravilima, osigurati dosljednu, kompaktan i precizan prikaz svojstava i odnosa istraživanom području snimanja ili modeliranih objekata. Vrijednost i značenje oznaka se ne može mijenjati na bilo koji pragmatičnih obilježja (korištenje konteksta). To je moguće zahvaljujući prisutnosti u formalnom jeziku pravila sintakse pretvorbi i semantičke interpretacije. A često se koristi kao osnova matematike. S obzirom na činjenicu da je, na cijelom rasponu razvoja, koristi razne simboličkih oznaka primijenjena su na različitim konceptima i objekata. To je ono što treba formalne jezike. Oni mogu značajno smanjiti podatke. Ranije, zajedno s formalnim i prirodnim jezicima su korišteni, ali s postupnim komplikacija objekta i potrebe da strogi logički analizu matematičkog zaključivanja, odlučeno je da se napusti prošlost. Ovaj proces je trajao od XVII do XX stoljeća. To je posljednja stoljeća smatra se najplodniji u smislu formalnih jezika. razne posebne grane su stvoreni. Dakle, za računalne znanosti od posebne važnosti programskih jezika i algebra logike, ne samo teoretski, nego i praktične točke gledišta.

definicija

Što formalnih jezika može se pripisati, već smo ukratko objasnili. Ali što možemo reći o njima? Formalni jezik je dao mnogo različitih definicija. Da ih navesti sve, to će ostaviti dosta vremena, pa pogledajte najpopularniji:

1. Jednostavan popis riječi u jeziku - obično kažu da s obzirom na konačni vrstama građevina, te o onima koji imaju jednostavnu strukturu.
2. Riječi koje generira određeni formalne gramatike.
3. Struktura stvorio regularnim izrazima.
4. Riječi koje generira BPF dizajna.
5. Struktura, prepoznatljiva po konačnog automata.

Pogledajmo primjer. Recimo da imamo cijelu abecedu, s obzirom dva broja 1 i 0 za prikaz slova „O”, koristimo kombinaciju 1010001. Ovaj je korištenje formalnog jezika. Također je moguće koristiti prazne riječi (kada je žica ima nultu duljinu, i ne postoji ništa), s posebnom oznakom u obliku poznatom nama. No, detaljnije razumjeti što je formalni jezik, pomoć 4 primjere koji će se dati sljedeći. Što to učiniti? Za razumijevanje čitatelja je da formalni jezik može se pripisati. No, malo više o tome kako su oni stvorili.

Izgradnja formalnih jezika

Svaki jezik je formalna struktura koja je stvorena jednom netko. Oni su obično se grade na istom obrascu:

1. Za početak, izaberite pismo, ili neki skup određenih znakova koji će biti izgrađen i izrazima koji se koriste u jeziku. Do formalnog jezika bilo koji način programirati pomoću računala.
2. On opisuje sintaksu, koja je, karakteristike i pravila koja će se graditi smislene rečenice.
3. Na određenim pravilima riječi i izraza. Ovdje postoji pravilo: svaki slijed slova mora moći računati riječi.

Do formalnog jezika odnosi se na bilo koju strukturu koja ima jasna pravila - treba imati na umu. Kod izgradnje, postoje neke značajke. Dakle, pojam „lik” je vrlo multi-funkcionalni u smislu značenja, tako da za najveći dio koristi pojam kao „pismo”. No, ispod njih se može shvatiti ne samo uobičajene oznake za nas, ali i nosače, posebne znakove, i još mnogo toga. To se odnosi samo na formalne jezika.

Primjer 1

Počnimo sa 1 i 0. U takvim slučajevima, upotrijebite više pojam „rok” i „formula”. Prvi djeluje kao analogni objekta i ime se koristi da se odnosi na nešto određeno. Prije svega razumjeti konstante i pojedinačne varijable pod njima. Od toga je, pak, graditi složenije strukture, koji se koristi koristi u nekim jezicima funkciji. Pod uvjetima iz grupe razumjeti formulu, čije korištenje u određenom programskom jeziku je moguće. Ovaj „instrukcija” će biti obrađen, a osoba će dobiti željeni rezultat.

Primjer 2

Razmotriti primjer logike u kojem se inverzija (¬) odvajanje (∧), veznik (∨) i implikacija (⇒) i nekoliko drugih. U takvom snimanje slika može se dati kao:

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

Kao likovi su A, B, C, zamjena varijabli i dobiti logičke operacije. Gdje se prijaviti formalni jezici ovog tipa? Raširena upotreba takvog mehanizma nalazi se u programskim jezicima, matematike, odnosa, logičkih i matematičkih funkcija ili dijelova od kojih su opisane od strane programera.

Primjer 3

Pogledajmo složeniju logičkim izrazima:

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

Zato nam je potrebna formalna jezika. Zamislite što bi se dogodilo da se opisati riječima? Sada, na temelju formule koju zaključiti zaključke. Smislene izrazi mogu se dobiti u formalnom jeziku tek kada se određena pravila poštuju pre-nastanak, promjenu i „razumijevanje” od formula i pojmova od kojih su izrađene:

1. Gradnja pojam formule i;
2. Proučavanje semantičke i tumačenje aspekta;
3. Slijed jedne od formula i drugim terminom.

Svaki formalni jezik treba biti dobro uspostavljena skup pravila.

Primjer 4

Zbog prisutnosti u pravilima jezik sintakse izlaz za uvjete i formula može biti izomorfna modele transformacije. Tako će se provoditi ne samo odraz (zastupljenost) određenu količinu znanja koja već postoji, ali mogu primati nove informacije. Štoviše, transformacija, ipak, i održat će se u skladu s jasnim i strogim pravilima, može biti automatiziran. Slične tehnike se koriste u ekspertnim sustavima, bazama znanja i proizvoda za podršku softvera odlučivanja.

zaključak

Formalni jezici su naširoko koristi u znanosti, posebno u struci. Tijekom znanstvenog istraživanja i provedbi praktične aktivnosti mogu komunicirati s prirodno, s obzirom na znatne izražajnih sposobnosti potonje. Ipak, formalni jezici mogu točnije prenijeti znanje i provesti objektivnu razmjenu informacija akumulirane čovječanstvo.