Они отличаются сильным соответствием между инструкциями формально знаковой системы и