In fact, both SMILES and SMARTS strings are first converted to internal graph representations which are searched for subgraph isomorphism.
De feito, tanto as liñas de caracteres SMILES coma os SMARTS son convertidas primeiro en representacións gráficas internas, que se buscan por isomorfismo de subgráfico.