Што може да се припише на формалните јазици? Примери за употреба

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

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

Ова е името на група вештачки јазици кои се карактеризираат со прецизни правила во врска со изградбата на изразите, како и нивното разбирање. Формалните јазици можат да се класифицираат како системи што се користат за применети цели. Тие се изградени во согласност со јасни правила, обезбедуваат конзистентна, компактна и точна мапирање на односите и својствата на изучениот домен или симулирани објекти. Значењето и значењето на употребените знаци не можат да се променат од некои прагматични карактеристики (контекст на употреба). Ова е можно поради присуството на формалните јазици на правилата за синтаксичка трансформација и семантичка интерпретација. Често тие се конструираат кога се користат како база на математика. Поради фактот што во него, во текот на развојниот период, беа користени разни симболички симболи за разни концепти и предмети. За тоа се работи за формалните јазици. Тие ви овозможуваат значително да ги намалите податоците. Претходно, заедно со формалните, природни јазици беа користени, но со постепена компликација на субјектот и потребата да се изврши ригорозна логичка анализа на математичките пресуди, беше одлучено да се напушти второто. Овој процес се протегал од XVII до XX век. Тоа е минатиот век кој се смета за најплоден од развојот на формалните јазици. Создадени се различни специјални гранки. На пример, програмирањето и алгебрата на логиката се од особена важност за информатиката, не само од теоретска гледна точка, туку и од практична гледна точка.

Дефиниција

Што може да се припише на формалните јазици, веќе накратко објаснивме. Но што е со нив самите? Формалните јазици имаат многу различни дефиниции. За да ги наброите сите, тоа ќе потрае многу време, така што ќе се запознаеме со најпопуларните:

1. Едноставна листа на зборови кои се вклучени во одреден јазик - обично така зборуваат за конечен тип на конструкција и за оние од нив кои имаат едноставна структура.
2. Зборови генерирани од одредена формална граматика.
3. Структура создадена од регуларни изрази.
4. Зборови генерирани од BNF-конструкција.
5. Структура препознаена од конечна државна машина.

Ајде да погледнеме еден пример. Да претпоставиме дека ја имаме целата азбука дадена со две цифри: 1 и 0. За да се прикаже буквата "О" ја користиме комбинацијата 1010001. Ова е примената на формалниот јазик. Исто така е можно да се користи празен збор (кога низата има нулта должина и нема ништо во неа) со посебна ознака во форма со која сме запознаени. Но подетално разбирање на тоа што формален јазик, ќе им помогне на 4 примери, кои ќе бидат дадени понатаму. За што е тоа? Дека читателот имал разбирање дека е можно да се припише на формалните јазици. Но, малку повеќе за тоа како тие се создадени.

Изградба на формални јазици

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

1. За почеток, одберете азбука или некоја збирка на одредени симболи, од кои ќе се изградат изразите употребени во јазикот. Формалните јазици вклучуваат било каков начин на програмирање со помош на компјутер.
2. Ја опишува синтаксата, односно карактеристиките и правилата со кои ќе се градат значајни реченици.
3. Според одредени правила, се составуваат зборови и изрази. Постои правило: секоја низа од букви треба да може да се смета за збор.

На формалните јазици е секој дизајн кој има јасни правила - ова треба да се запомни. Кога се гради, постојат некои карактеристики. Значи, концептот на "симбол" е многу мултифункционален од аспект на семантичкото оптоварување, па затоа во неговата маса се користи терминот "писмо". Но под нив може да се разбере не само вообичаената нотација за нас, туку и загради, специјални знаци и многу повеќе. Ова се однесува само на формалните јазици.

Пример 1

Да почнеме со 1 и 0. Во вакви случаи, се користат термините "термин" и "формула". Првиот делува како аналог на името на објектот и се користи за да се однесува на нешто специфично. Прво, тие значат константи и објективни променливи. Од нив, пак, се изградени посложени конструкции, за кои се користи функцијата што се користи на некој јазик. Формулата се подразбира на група термини, чија употреба е можна во одреден програмски јазик. Оваа "инструкција" ќе биде обработена, а лицето ќе го добие потребниот резултат.

Пример 2

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

1. A;
2. А ∧ В ⇒ ¬А
3. ¬ (А ¬ ¬)

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

Пример 3

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

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

Затоа ни се потребни формални јазици. Замислете што ќе се случи ако беше опишано со зборови? И сега, врз основа на формулата, ќе заклучиме заклучоци. Значајните изрази може да се добијат на официјалниот јазик само кога се почитуваат однапред утврдените правила за формирање, промена и "разбирање" на формулите и условите од кои се направени:

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

Во секој формален јазик, множество од овие правила мора да бидат добро разработени.

Пример 4

Поради присуството на излезните правила за термините и формулите во синтаксата на јазикот, можно е да се извршат изоморфни трансформации на модели. Ова не само што ќе одразува (претставува) одреден сет на знаење што веќе постои, но, можеби, добива нови информации. Покрај тоа, трансформацијата, иако тоа ќе се случи според јасни и строги правила, може да се автоматизира. Слични технологии се користат во експертски системи, бази на знаење и софтверски производи за поддршка на одлуката.

Заклучок

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