Gramáticas generativas libres de contexto y sensibles al contexto
Autómatas finitos determinísticos y no determinísticos
Representación de conocimiento en motores de inferencia
Diagramas de estados (método de solución de problemas de la inteligencia artificial)
Codificación en XML