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

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