SMS: Perspectivas de sintaxis formal /