12691 викторина, 2092 кроссворда, 936 пазлов, 93 курса и многое другое...

Какая из предложенных характеристик относится к формальным языкам?