Я считаю, что вычислительные процессы являются символическими и формальными. Они символичны, потому что они определены над представлениями, и они формальны, потому что они применяются к представлениям, в силу (примерно) синтаксисе представлений.