Цитата:
Алфавит — конечное непустое множество символов.

— множество всех цепочек над алфавитом

.
Язык над алфавитом

— некоторое подмножество

.
Пусть

и

— языки. Теоретико-множественные операции:

— объединение,

— пересечение,

— разность,

— дополнение.
На каком основании здесь используется теория множеств, все эти подмножества и пересечения? Даже если забыть про семантику, то чтобы просто записать слово

необходимо уже располагать некоторым формальным языком. Не сталкиваемся ли мы здесь с порочным кругом?