Во математиката, логиката и информатиката, формален јазик е јазик кој е дефиниран по прецизни математички формули.
Формалниот јазик L е карактеризиран како множество од F конечен број на елементи изградени од множество на симболи A. Математички, формалниот јазик е неподредениот пар L={A,F}. Постојат и други алтернативни опции на начини на кои може да се гледа на формалните јазици:
Во првиот случај множеството А се нарекува азбука L, а елементите на F се нарекуваат зборови. Во вториот случај множеството А се нарекува лексикон на вокабуларот F, додека елементите на F се нарекуваат реченици.
Математичката теорија на формалните јазици се нарекува теорија на формални јазици.
Иако вообичаено е да се слуша терминот формални јазици надвор од математиката, логиката и компјутерските науки кога се мисли на начин на изразување кое е стилизирано и прецизно во секојкдневниот говор, но смислата на формалните јазици е строго дефинирана според теоријата за формални јазици.
Како пример за формални јазици може да биде, азбука од типот на {a,b} и еден од стринговите на азбуката може да биде abbaababa.
Еден типичен јазик над таа азбука може да биде множество од стрингови кои имаат ист број на a и b.
Формалните јазици можат да бидат специфицирани на најразлични начини како:
Се вклучува и празниот стринг ε.
Теорија на автоматите: формални јазици и формални граматики | |||
---|---|---|---|
Хиерархија на Чомски | Граматики | ||
Тип-0 | Неограничени | Рекурзивно преброиви | Тјурингова машина |
— | (нема вообичаено име) | Рекурзивни | Одлучувач |
Тип-1 | Контексно-осетливи | Контексно-осетливи | Линеарни |
— | Индексирани | Индексирани | Вгнезден склад |
Тип-2 | Контексно-слободни | Контексно-слободни | Недетерминистички потисни |
— | Детерминистички конт.-слоб. | Детерминистички конт.-слоб. | Детерминистички потисни |
Тип-3 | Регуларни | Регуларни | Конечен |
Секоја категорија на јазици или граматики е соодветно подмножество на категоријата над неа. |
This article uses material from the Wikipedia Македонски article Формален јазик, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Содржината е достапна под CC BY-SA 4.0 освен ако не е поинаку наведено. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Македонски (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.