Los sistemas de inserción-borrado han sido introducidos como un formalismo para modelar operaciones que encuentran sus contrapartes en ideas de bioinformática, más específicamente, al usar cadenas de ADN o ARN y mecanismos biológicos que trabajan en estas cadenas. El llamado control de matriz ha sido introducido a los sistemas de inserción-borrado para permitir la escritura de fragmentos de programas cortos. Discutimos las sustituciones como un tipo adicional de operación, añadido a los sistemas de inserción-borrado de matriz. Para tales sistemas, discutimos adicionalmente el efecto de. De esta manera, obtenemos nuevas caracterizaciones de la familia de lenguajes contextuales y la familia de lenguajes recursivamente enumerables. No se necesita mucho contexto para que los sistemas con verificación de apariencia alcancen la completitud computacional. Esto también sugiere que los bio-computadores pueden ejecutar programas escritos de manera bastante tradicional, ya que nuestras simulaciones también muestran cómo las máquinas de Turing, al igual que cualquier otro dispositivo computacional, pueden ser simuladas por ciertos sistemas de inserción-borrado-sustitución de matriz.