Назовите научную область, которая изучает правила, позволяющие отличать знаки друг от друга и строить знаковые конструкции (буквально означает: правило).