Знаковые модели в информатике: от первых компьютеров до современных решений