Какво да формални езици може да се дължи? примери за употреба

Каква е официалната езика и как тя се различава от естественото? Как се е образувала? Какво да формални езици може да се дължи? И тя се използва за означаване на него?

Характеристики на официалните езици

Така че ние наричаме група от изкуствени езици, които се характеризират с точни правила по отношение на изграждането на изразяване, както и тяхното разбиране. системи, използвани за промишлени цели могат да бъдат приписани официални езици. Те са изградени в съответствие с ясни правила, ще се предоставя последователна, компактен и точно показване на свойствата и отношенията на изследваната предметна област или моделираните предмети. Стойността и значението на марки не може да се променя по какъвто и прагматични функции (използване на контекста). Това е възможно благодарение на присъствието в официалната езика на правилата на синтаксиса преобразуване и семантично тълкуване. Те често са построени като се използват като основа на математиката. Поради факта, че това, върху целия цикъл на развитие, които се използват най-различни символични означения са приложени към различни понятия и обекти. Това е, което се нуждае от официалните езици. Те могат значително да намалят данни. По-рано, заедно с формалните и естествените езици, са били използвани, но с постепенното усложнение на обекта и необходимостта да се направи строго логически анализ на математическата логика, беше решено да се откаже от миналото. Този процес продължава от XVII до ХХ век. Той е на миналия век се счита за най-ползотворна от гледна точка на формалните езици. бяха създадени различни специални клонове. Така че, за компютърни науки са от особено значение програмни езици и алгебра на логиката, а не само теоретично, но и от практическа гледна точка.

дефиниция

Какво да формални езици могат да бъдат приписани, вече имаме обясни накратко. Но това, което можем да кажем за тях? Официално език се дава много различни дефиниции. За да ги изброят всички, това ще остави много време, така че да разгледаме най-популярните:

1. А просто списък от думи на езика - обикновено казват така по отношение на крайния вид на строителството и за тези, които имат по-проста структура.
2. Думи, генерирани от определена официална граматика.
3. Структурата, създадена от регулярни изрази.
4. Думите, получени от BPF-дизайн.
5. Структурата, разпознаваем от краен автомат.

Нека разгледаме един пример. Да кажем, че имаме цялата азбука, като се има два номера 1 и 0. За да се покаже буквата "О", ние използваме комбинация от 1010001. Това е използването на официален език. Също така е възможно да се използват празни думи (когато низа има нулева дължина, и няма нищо) със специално предназначение под формата ни познати. Но по-подробно, за да се разбере какво е формален език, помощ 4 примери, които ще бъдат дадени по-нататък. Какво прави той? За разбирането на читателя е, че официално език може да се дължи. Но малко повече за начина, по който са създадени.

Изграждане на официалните езици

Всеки език е формална структура, която е създадена, след като и някой. Те обикновено са изградени върху един и същи модел:

1. За да започнете, изберете азбуката, или някаква съвкупност от специфични символи, които ще бъдат построени и изрази, използвани в езика. От официалната език е някакъв начин да се програмира с помощта на компютър.
2. Той описва синтаксиса, който е, характеристики и правила, които ще изградят смислени изречения.
3. На някои правила за думи и изрази. Тук има едно правило: всяка последователност от букви, трябва да могат да разчитат думи.

По официална език се отнася до всяка структура, която има ясни правила - трябва да се забравя. При изграждането, има някои особености. По този начин, терминът "герой" е много многофункционална от гледна точка на смисъл, така че по-голямата част се използва термина като "писмо". Но под тях може да се разбира не само обичайните нотацията за нас, но и в скобите, специални символи и други. Това важи само за официални езици.

ПРИМЕР 1

Да започнем с един и 0. В такива случаи се използва, толкова повече понятието "план" и "формула". Първият действа като аналог на обекта и името използва за обозначаване на нещо конкретно. На първо място се разбере константите и индивидуални променливи под тях. От тях, от своя страна, да изградят по-сложни структури, която се използва, използвани в някои език функция. Съгласно условията на групата разбират формулата, използването на които в определен език за програмиране е възможно. Това "обучение" ще бъдат обработвани, и лицето, ще получите желания резултат.

Пример 2

Да разгледаме например логика, в която има инверсия (¬), дизюнкция (∧), съюзът (∨) и отражение (⇒) и няколко други. В такъв запис на изображения могат да бъдат дадени като:

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

Както героите A, B, C, замени на променливите и ще получите логическите операции. Къде се кандидатства официални езици от този тип? Широкото използване на такъв механизъм се намира в програмните езици, математика, взаимоотношения, логически и математически функции, или части от които са описани от програмист.

ПРИМЕР 3

Нека да разгледаме по-сложен логически формули:

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

Ето защо се нуждаем от официални езици. Представете си какво би станало, ако това се опише с думи? Сега, въз основа на формула, ние се извлече заключения. Смислените изрази могат да бъдат получени в официалната език само при определени правила се спазват предварително образуване, промяна и "разбиране" на формулите и термини от които са направени:

1. Строителство дългосрочни формули и;
2. Проучване на семантичен аспект и тълкуването;
3. Последователността на една от формулите и други план.

Всяка официална език трябва да бъдат утвърдени набор от правила.

ПРИМЕР 4

Поради наличието в правилата на изхода език синтаксис за условията и формули може да се направи изоморфни модели на трансформация. Така че това ще се извършва не само отражението (представителство на) на специална организация на знанието, което вече съществува, но може да получи нова информация. Освен това, трансформацията, все пак, и ще се проведе в съответствие с ясни и строги правила, тя може да бъде автоматизирано. Подобни техники се използват в експертни системи, бази от знания, както и продукти за поддръжка на решения софтуер.

заключение

Официални езици са широко използвани в областта на науката, особено в областта на техниката. По време на научните изследвания и прилагане на практически действия, които могат да си взаимодействат с естественото, с оглед на значителните изразителните възможности на последния. И все пак официални езици може по-точно да предават знания и за извършване на обективна обмен на информация, натрупани от човечеството.