Resumen
El presente trabajo describe el desarrollo de un modelo de representación conceptual del dominio de la teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, con el objetivo de evaluar su utilización como herramienta de soporte a la elicitación de requerimientos de software basándose en una metodología de modelado ontológico.