GALO = детерминированный типизированный конечный автомат над замороженной конечной алгеброй, выдающий криптографически сцепленные квитанции