b'\n_START_ARTICLE_\nAlgoritmo de eliminaci\xc3\xb3n de candidatos\n_START_SECTION_\nEspacio de versiones\n_START_PARAGRAPH_\nEl intervalo de hip\xc3\xb3tesis se denomina espacio de versiones. Para el correcto funcionamiento del algoritmo se define un orden de generalidad. de forma que dos hip\xc3\xb3tesis  si  es m\xc3\xa1s general que ._NEWLINE_Los l\xc3\xadmites del intervalo se denominan Cota general (G) y Cota espec\xc3\xadfica (S). Estos son conjuntos de tuplas.\n_START_SECTION_\nOrden de generalidad\n_START_PARAGRAPH_\nDe forma concreta una tupla es m\xc3\xa1s espec\xc3\xadfica que otra si contiene un mayor n\xc3\xbamero de valores concretos o (\xc3\x98). O lo que es lo mismo, la que contiene el menor n\xc3\xbamero interrogaciones representado cualquier valor posible.\n_START_SECTION_\nEl algoritmo\n_START_PARAGRAPH_\nSea G el conjunto de elementos de m\xc3\xa1xima generalidad de H._NEWLINE_Sea S el conjunto de elementos de m\xc3\xa1xima especificidad de H._NEWLINE_Para cada ejemplo d del conjunto de entrenamiento D:_NEWLINE_   Si d es un ejemplo positivo, entonces:_NEWLINE_      Eliminar de G cualquier hip\xc3\xb3tesis inconsistente con d._NEWLINE_      Para cada hip\xc3\xb3tesis s de S inconsistente con d:_NEWLINE_         Eliminar s de S._NEWLINE_         Incluir en S todas las generalizaciones minimales h de s, tales que h_NEWLINE_          es consistente con d y existe una hip\xc3\xb3tesis en G m\xc3\xa1s general que h._NEWLINE_         Eliminar de S aquellas hip\xc3\xb3tesis tales que exista en S otra hip\xc3\xb3tesis_NEWLINE_          m\xc3\xa1s espec\xc3\xadfica._NEWLINE_   Si d es un ejemplo negativo, entonces:_NEWLINE_      Eliminar de S cualquier hip\xc3\xb3tesis inconsistente con d._NEWLINE_      Para cada hip\xc3\xb3tesis g de G consistente con d:_NEWLINE_         Eliminar g de G._NEWLINE_         Incluir en G todas las especializaciones minimales h de g, tales que h_NEWLINE_           es consistente con d y existe una hip\xc3\xb3tesis en S m\xc3\xa1s espec\xc3\xadfica que h._NEWLINE_         Eliminar de G aquellas hip\xc3\xb3tesis tales que exista en G otra hip\xc3\xb3tesis_NEWLINE_            m\xc3\xa1s general.'