Формальный язык

[give_up]

Подскажите, что означает вертикальная черта $|$ в описании формального языка $L=${$(a^n)^2|n>0$}. Это какое-то сокращение от обозначения длины слова $(a^n)^2$ ? Т.е. можно ли вместо этого записать $L=${$|(a^n)^2|n>0$}?

[Maslov]

Да нет, это обычное обозначение из теории множеств.

$\{ (a^n)^2 ~ | ~ n > 0 \}$ означает "множество цепочек вида $(a^n)^2$, где $n > 0$".

[Sonic86]

give_up в сообщении #484393 писал(а):

что означает вертикальная черта $|$

$x:P(x)$ и $x|P(x)$ читается как "$x$ такой, что $P(x)$".

[give_up]

Спасибо