Аннотация:
Делается попытка разработки языка для анализа динамики структур, описываемых графами. Иерархические графы описываются с помощью целочисленных функций целочисленного аргумента. Операции над графами задаются с помощью рекуррентных целочисленных соотношений.