Una caracterización de objetos K-finitos decidibles - Acuña Ortega, Osvaldo 1951