Оно што се формалних језика може приписати? примери употребе

Шта је формални језик и како се разликује од природног? Како је формирана? Оно што се формалних језика може приписати? И то користи да означи са њим?

Карактеристике формалних језика

Тако зовемо групу вештачких језика, које карактерише прецизна правила у вези са изградњом израза, као и њихово разумевање. системи који се користе за индустријске сврхе може се приписати формалних језика. Они су изграђени у складу са јасним правилима, пружити конзистентан, компактан и прецизан приказ својстава и односа испитиваног предметне области или узору објеката. Вредност и значење ознака не може да се промени било прагматичне функције (употреба контекста). То је могуће захваљујући присуству у формалном језику правила синтаксе конверзије и семантичког тумачења. Они се често граде користе као основа математике. Због чињенице да је, на целом распону од развоја, користи различите симболичких ознака су примењени у различитим концептима и објеката. То је оно што треба формалних језика. Они могу значајно смањити податке. Раније, заједно са формалним и природним језицима се користе, али са постепеним компликација објекта и потребе да се стриктно логичку анализу математичког размишљања, одлучено је да се напусти прошлост. Овај процес је трајао од КСВИИ до КСКС века. То је прошлог века сматра најплоднији у смислу формалних језика. Разне специјалне гране су створени. Дакле, за компјутерске науке су од посебног значаја програмских језика и алгебре логике, не само теоријски, него и са практичне тачке гледишта.

дефиниција

Оно што се формалних језика може приписати, већ имамо кратко објаснио. Али шта можемо рећи о њима? Формални језик је дата много различитих дефиниција. Да их навести све, то ће оставити доста времена, па погледајте најпопуларнији:

1. Једноставна листа речи у језику - обично кажу да у погледу коначног врсту градње и о онима који имају једноставну структуру.
2. Речи генерише одређене формалне граматике.
3. Структура цреатед би регуларних израза.
4. Речи створене од стране БПФ-десигн.
5. Структура, препознатљив по коначном аутомата.

Погледајмо пример. Рецимо да имамо цео писмо, с обзиром два броја 1 и 0. Да бисте приказали слово "О", користимо комбинација 1010001. Ова је употреба формалног језика. Такође је могуће користити празне речи (када је низ има нулту дужину, а не постоји ништа) са посебном ознаком у облику познатом нам. Али детаљније да разуме шта је формални језик, помоћи 4 примере који ће бити дати следећи. Шта он ради? На разумевање читаоца је да формални језик може да се припише. Али мало више о томе како су се створили.

Изградња формалних језика

Сваки језик је формална структура која је настала некада и неко. Они се обично изграђен на истом обрасцу:

1. За почетак, изаберите писмо, или неки скуп посебних знакова који ће бити изграђен и изрази који се користе у језику. Од формалног језика је на било који начин да се програмира помоћу рачунара.
2. Он описује синтаксу, која је, карактеристике и правила која ће градити значајне казне.
3. На одређеним правилима за речи и израза. Овде постоји правило: свако редослед слова морају бити у стању да бројим речи.

Би формалног језика односи се на било коју структуру која има јасна правила - треба имати на уму. Када се гради, постоје неке функције. Тако, израз "лик" је веома мултифункционални у смислу значења, тако да у највећој мери користи термин као "писма". Али испод њих може разумети не само уобичајену нотацију за нас, али и конзоле, специјалне карактере, и још много тога. Ово се односи само на формалних језика.

ПРИМЕР 1

Почнимо са 1 и 0. У таквим случајевима, користите више концепт "термина" и "формула". Први делује као аналога објекта и назив користи за реферисање на нешто одређено. Пре свега разумеју константе и појединачне варијабле под њима. Од тога, заузврат, изгради сложеније структуре, која се користи користе у неке функције језика. Под условима из групе разумеју формулу, чије коришћење у одређеном програмском језику је могуће. Ова "инструкција" биће обрађени, и та особа ће добити жељени резултат.

ПРИМЕР 2

Размотрите пример логику у којој постоји инверзија (¬), дисјункција (∧), повезивање (∨) и импликација (⇒) и неколико других. У таквом снимања слика се може дати као:

1. А,
2. А∧В ⇒ ¬
3. ¬ (А∨¬С)

Као ликови су А, Б, Ц замене променљиве и добићете логичке операције. Где се пријавити формалне језике овог типа? Раширена употреба таквог механизма се налази у програмским језицима, математици, односима, логичке и математичке функције, односно делова од којих су описани од стране програмера.

ПРИМЕР 3

Хајде да погледамо на више сложених логичких формула:

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

Зато морамо формалних језика. Замислите шта би се десило да је описати речима? Сада, на основу формуле смо закључили закључке. Смислене изрази могу се добити у формалном језику само када су одређена правила поштују пре-формирање, промене и "разумевање" од формула и услова од којих су направљени:

1. Изградња ни формуле и;
2. Студија семантичког аспекта и тумачење;
3. Секвенца једног од формула и другим термином.

Сваки формални језик треба да буде добро утврђен скуп правила.

ПРИМЕР 4

Због присуства у правилима језика синтаксе излаз услове и формулама могу бити изоморфна модела трансформације. Тако да ће бити спроведена не само одраз (представљање) специфичан корпус знања који већ постоји, али може да прима нове информације. Штавише, трансформација, мада, и да ће се одржати у складу са јасним и строгим правилима, може бити аутоматизован. Сличне технике се користе у експертних система, база знања, и производи софтвер за подршку одлучивања.

закључак

Формални језици имају широку примену у науци, посебно у уметности. Током научног истраживања и реализацију практичних активности које могу да комуницирају са природним, с обзиром на значајне изражајним способностима ово друго. Ипак, формални језици могу прецизније пренесе знање и да спроведе објективну размену информација акумулиране човечанство.