Este trabajo se propone una modelización de las construcciones de "hacer" más infinitivo compatible con determinados formalismos computacionales (Smorph y MPS, y XFST). En el capítulo 1 se presenta un panorama de la lingüística computacional, se demarca la especificidad de las dos disciplinas involucradas y las opciones que se plantean para articularlas. En el capítulo 2 se reseña la bibliografía no computacional sobre las construcciones estudiadas, que justifica su existencia como un objeto lingüístico con características peculiares y pone de manifiesto sus propiedades más relevantes. En el capítulo 3 se argumenta a favor de la necesidad metodológica de un corpus real, se exponen los criterios utilizados para su constitución y se evalúa su relevancia cuantitativa. En los capítulos 4 y 5 se presenta una breve descripción de los programas utilizados para el tratamiento informático y se efectúa una implantación parcial; a partir de la cual se muestra cuáles son los alcances y las limitaciones del tratamiento automático de las lenguas naturales en el marco estudiado.