Дисциплина, занимающаяся сравнительным изучением знаковых систем, от простейших кодов до естественных языков и формализованных языков науки, называется: