Разлика между версии на „Формален език“

417 байта изтрити ,  преди 11 години
махам твърдения без източник
м (Робот Добавяне: ca, ckb, lt, no, sv Промяна: fa)
(махам твърдения без източник)
{{факт|В обикновената ежедневна употреба говорим за ''формален език'' като за начин на говорене, обусловен от нормираност, стегнатост, строгост, терминологичност и неемоционалност на изказа. Една внимателна, акуратна речевост.
}}
 
В [[математика|математиката]], [[логика|логиката]] и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване, се нарича ''теория на формалните езици''.
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички [[низ]]ове, които съдържат същият брой c и d символи.