The Markerese method is attractive in part just because it deals with nothing but symbols: finite combinations of entities of a familiar sort out of a finite set of elements by finitely many applications of finitely many rules.