нечисловые формулы

Моя задача. Традиционные символические вычисления в компьютерной алгебре настроены лишь на алгебру преобразований математических выражений, формул, форм, отношений, где число воспринимается как буква. Конечно же нельзя исключать, что для некоторых биологических нечисловых переменных в некоторых конкретных полях можно попытаться применить символические формулы компьютерной алгебры. Попробую это сделать, хотя реально, по видимому, придётся разрабатывать правила преобразований выбранных нечисловых переменных. Для конкретики можно взять молекулярные языки клетки, которые позволяют клетке читать и перезаписывать смысловые (нечисловые) образы при создании родословных самих клеток и тканей, составленных из этих клеток.

Пока набираю нечисловые переменные и параметры, ищу способы работы с ними

В. С. Муха. Вычислительные методы и компьютерная алгебра : учеб.-метод. пособие. 2-е изд., испр. и доп. Минск. 2010. 148 с. ..\1st\K\5\208\Mukha2010.pdf