Формален език: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м robot Adding: ro, ru, tr |
Редакция без резюме |
||
Ред 2:
В [[математика|математиката]], [[логика|логиката]] и компютърните науки, '''формален език''' е това множество от думи с крайна дължина (тоест буквени стрингове) извлечено от дадена крайна [[азбука]]. Научната теория, за която формалните
Азбука може да бъде {c,d} и низ към/за тази азбука може да бъде cddddc. Типичен език на тази азбука, съдържащ стринга cddddc, ще бъде множеството от всички стрингове, които съдържат същият брой c и d символи.
Празната дума (низ с нулева дължина) е разрешен и често означаван като ''e'', ε или Λ. Докато азбуката е крайно множество и всеки стринг има крайна дължина, то езикът може съвсем спокойно да се състои от безкрайно много срингове.
| |||