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

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