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

редакция без резюме
м (Робот Добавяне {{без източници}})
{{без източници}}
 
[[Файл:Formal languages-ru.svg|thumb|Синтактичен елемент в официалната система.]]
 
В [[математика]]та, [[логика]]та и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени низове), извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните езици са обект на изучаване, се нарича ''теория на формалните езици''.
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ низа cddddc, ще бъде множеството от всички [[низ]]ове, които съдържат същият брой c и d символи.
135

редакции