|
'''Формален език''' може да се отнася:
В обикновената ежедневна употреба говорим за ''формален език'' като за начин на говорене, обусловен от нормираност, стегнатост, строгост, терминологичност и неемоционалност на изказа. Една внимателна, акуратна речевост. ▼
▲# В обикновената[[лингвистика]]та ежедневна(по-разпространена употреба говоримна затермина) '' формален'формалният език ''' като зае начин на говорене, обусловен от нормираност, стегнатост, строгост, терминологичност и неемоционалност на изказа. Една внимателна, акуратна речевост.
# В математиката и компютърните науки [[формален език (математика)]] е [[множество]] от думи, краен [[низ]] от [[букви]] или [[символи]].
{{пояснение}}
В [[математика|математиката]], [[логика|логиката]] и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване, се нарича ''теория на формалните езици''.
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички [[низ]]ове, които съдържат същият брой c и d символи.
Празната дума (низ с нулева дължина) е разрешен и често означаван като ''e'', ε или Λ. Докато азбуката е крайно множество и всеки низ има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много низове.
Някои примери за формални езици:
* множество на всички думи от {a,b};
* множество { ''a''<sup>''n''</sup> : ''n'' е естествено число по-голямо от единица} (където ''a''<sup>''n''</sup> означава ''a'' повторено ''n'' пъти);
* множество от синтактично правилни програми за даден програмен език.
Формалният език може да бъде спицифициран по много начини:
* Низ, изведен от [[формална граматика]] (виж [[Йерархия на Чомски]]);
* Низ, произведен от [[регулярен израз]];
* Низ, приет от някаква автоматизация, например [[Машина на Тюринг]].
Няколко операции могат да създадат нови езици от дадени такива.
Например: Да вземем ''L''<sub>1</sub> и ''L''<sub>2</sub>, които са езици, имащи обща азбука.
* Конкатенацията на ''L''<sub>1</sub> и ''L''<sub>2</sub> е всички низове от типа vw, където v е низ на ''L''<sub>1</sub> и w е низ на ''L''<sub>1</sub>
* Конюнкцията на ''L''<sub>1</sub> и ''L''<sub>1</sub> се състои от всички низове съдържащи се както в ''L''<sub>1</sub>, така и в ''L''<sub>1</sub>
и т.н.
{{Лингвистика-мъниче}}
[[Категория:Формални езици| ]]
[[ar:لغة شكلية]]
[[bs:Formalni jezik]]
[[cs:Formální jazyk]]
[[da:Formelt sprog]]
[[de:Formale Sprache]]
[[el:Τυπική γλώσσα]]
[[en:Formal language]]
[[es:Lenguaje formal]]
[[fa:زبانهای فرمال]]
[[fi:Formaali kieli]]
[[fr:Langage formel]]
[[he:שפה פורמלית]]
[[hi:औपचारिक भाषा]]
[[hr:Formalni jezik]]
[[hu:Formális nyelv]]
[[it:Linguaggio formale (matematica)]]
[[ja:形式言語]]
[[ko:형식 언어]]
[[mk:Формален јазик]]
[[nl:Formele taal]]
[[pl:Język formalny]]
[[pt:Linguagem formal]]
[[ro:Limbaje formale]]
[[ru:Формальный язык]]
[[sh:Formalni jezik]]
[[simple:Formal language]]
[[sk:Formálny jazyk]]
[[sr:Формални језик]]
[[tr:Biçimsel dil kuramı]]
[[uk:Формальна мова]]
[[zh:形式语言]]
| 