Формальные знаковые системы: теоретическое понимание