Aplicación web -- analizador SML