• Шта је формални језик?
• Примери формалних језика

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

Формални језик је организован ограниченим скупом правила комбинације.

Шта је формални језик?

Ин рад на рачунару и информатичка наука, када говоримо о формалном језику за разлику од природних језика, мислимо на те системе знакови обдарен примитивним симболима и формално наведеним системом правила употребе, односно обдарен а алфабет и од а граматика (или синтаксе) формално:

• Под абецедом се подразумева коначан и непразан скуп примитивних симбола.
• Под формалном граматиком се подразумева коначан скуп комбинованих правила поменутог алфабета за формирање коначних ланаца са одређеним значењем.

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

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

Према америчком лингвисти Ноаму Чомском (1928-), формални језици се могу класификовати у четири типа:

• Тип 3: регуларни језици опремљени регуларном граматиком, односно системима правила који се могу добити регуларним изразима и који омогућавају добијање свих могућих низова симбола.
• Тип 2: неконтекстуални језици опремљени неконтекстуалним граматикама, односно омогућавају добијање свих могућих низова симбола, али на много вишем нивоу сложености од обичних.
• Тип 1: контекстуални језици опремљени контекстуалним граматикама, односно који омогућавају добијање низова зависних симбола, као што њихов назив говори, контекст.
• Тип 0: слободни језици опремљени слободним граматикама, без ограничења, који производи рекурзивно набројиве језике.

Примери формалних језика

Примери формалних језика су:

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