El algoritmo de CYK para el problema de pertenencia es el siguiente: