Без заголовка

Вы логицист. "Манипуляция символами по неким строгим правилам" это больше похоже на логику, а не на математику )))