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