Шта је формални језик и како се разликује од природног? Како је формиран? Шта се може приписати формалним језицима? И шта се користи да се означи?
Карактеризација формалних језика
Ово је назив групе вештачких језика којикоју карактеришу прецизна правила у вези са конструкцијом израза, као и њиховим разумевањем. Формални језици укључују системе који се користе у примењене сврхе. Они су изграђени у складу са јасним правилима, пружају доследан, компактан и тачан приказ односа и својстава проучаване предметне области или симулираних објеката. Значење и значење употребљених знакова не може се променити од неких прагматичних карактеристика (контекст употребе). То је могуће због постојања правила синтактичке трансформације и семантичке интерпретације у формалним језицима. Често се граде користећи математику као основу. Због чињенице да су у њему током целог развојног периода коришћене различите симболичке нотације, примењене на различите концепте и предмете. За то су формални језици. Могу значајно да смање податке. Раније су се природни језици употребљавали заједно са формалним, али с постепеним компликовањем предмета и потребом да се изврши ригорозна логичка анализа математичких просуђивања, одлучено је да се други одустане. Овај процес се протезао од 17. до 20. века. Прошлог века се сматра најплоднијим у погледу развоја формалних језика. Створене су различите посебне гране. Дакле, за рачунарске науке програмски језици и алгебре логике су од посебног значаја, не само са теоријског, већ и са практичног становишта.
Дефиниција
Шта већ можемо да припишемо формалним језицимаукратко објашњено. Али шта је са њима? Формални језици имају много различитих дефиниција. Да бисте их све набројали, требаће много времена, па ћемо се упознати са најпопуларнијим:
- Једноставна листа речи која се налази на датом језику обично се говори о коначној врсти конструкције и о онима која имају једноставну структуру.
- Речи генерисане одређеном формалном граматиком.
- Структура створена правилним изразима.
- Речи генерисане конструкцијом БНФ.
- Структура препозната од стране државне машине.
Погледајмо пример.Претпоставимо да имамо целу абецеду дату са два броја: 1 и 0. За приказ слова „О“ користимо комбинацију 1010001. Ово је употреба формалног језика. Такође је могућа употреба празне речи (када низ има нулту дужину и у њој нема ништа) са посебном ознаком у нама познатом облику. Али детаљније разумевање шта је формални језик помоћи ће 4 примера који ће бити наведени касније. За шта је ово? Тако да читалац разуме шта се формалним језицима може приписати. Али мало више о томе како су створени.
Изградња формалних језика
Сваки формални језик је конструкт који је некад створио неко. Обично се граде по једној шеми:
- Прво одаберите абецеду или неку другуукупност одређених знакова из којих ће бити изграђени изрази који се користе у језику. Формални језици укључују било коју методу рачунарског програмирања.
- Описује синтаксу, односно значајке и правила по којима ће се градити смислене реченице.
- Према одређеним правилима састављају се речи и изрази. Постоји правило: било који низ слова мора се моћи сматрати речју.
Формални језици укључују било коју конструкцију,која има јасна правила - то треба имати на уму. Приликом градње постоје неке карактеристике. Стога је појам „симбол“ врло свестран у смислу семантичког оптерећења, па већином користе израз „слово“. Али они могу значити не само уобичајену нотацију за нас, већ и заграде, посебне знакове и још много тога. Ово се односи само на формалне језике.
Пример 1
Кренимо од 1 и 0.У таквим се случајевима користе и концепти појма и формуле. Први делује као аналоган називу предмета и користи се за означавање нечег специфичног. Пре свега, они значе константе и променљиве објекта. Од њих се заузврат граде сложеније конструкције у које се сврхе користи функција која се користи на неком језику. Под формулом се подразумева група термина, чија је употреба у одређеном програмском језику могућа. Ово „упутство“ ће бити обрађено и особа ће добити потребне резултате.
Пример 2
Размотримо пример логике у којој постоји инверзија (¬), дисјункција (∧), коњункција (∨) и импликација (⇒), и низ других. Следећи записи се могу користити као слике:
- А;
- А∧Б ⇒ ¬А
- ¬ (А∨¬С)
Замените променљиве као знакове А, Б, Ци добивате логичне операције. Где се користе формални језици ове врсте? Такав механизам је нашао широку употребу у програмским језицима, математици, односима, логичким и математичким функцијама или појединим деловима које је описао сам програмер.
Пример 3
Погледајмо сложенију логичку формулу:
¬ (А∨¬С) ⇔ А∧С = 1
Зато су потребни формални језици.Замислите шта би се догодило ако би то било описано речима? А сада ћемо на основу формуле извући закључке. Значајни изрази се могу добити на формалном језику само ако се поштују унапред дефинисана правила за формирање, промену и "разумевање" формула и термина из којих су састављена:
- Изградња термина и формула;
- Проучавање семантичког аспекта и интерпретације;
- Слијед неких формула и израза из других.
У сваком формалном језику укупност ових правила требало би бити добро развијена.
Пример 4
Због присуства правила у синтакси језиказакључујући појмове и формуле, могу се изводити изоморфне трансформације модела. На овај начин ће се извршити не само рефлексија (репрезентација) одређеног низа знања која већ постоји, већ и, евентуално, нове информације. Штавише, трансформацију, иако ће се догодити у складу са јасним и строгим правилима, сасвим је могуће аутоматизовати. Сличне технологије се користе у експертним системима, базама знања и софтверским производима за подршку одлучивању.
Закључак
Формални језици се широко користе унауке, посебно у области технологије. Током научног истраживања или у спровођењу практичних активности, они могу комуницирати са природним, с обзиром на значајне изражајне способности последњег. Ипак, формални језици омогућавају тачнији пренос знања и објективну размену информација које је човечанство нагомилало.
