samer@0: function s=tostring(a)
samer@0: 	s=sprintf('states(%s)',tostring(a.base));