Ответ:

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

Ответ: формальные