Complemento práctico en la enseñanza de lenguajes formales usando las expresiones regulares en el contexto de aplicaciones web

Tradicionalmente la enseñanza de los autómatas y lenguajes formales basa su principal aplicación práctica en la construcción de compiladores. Sin embargo, las tareas de diseño y programación necesarias son excesivamente complejas como para que los estudiantes, que están cursando el tercer cuatrimestre de la Ingeniería, puedan abordarlas con el rigor necesario. Es posible incorporar otro enfoque práctico, real y más actual de las expresiones regulares en estas asignaturas, aprovechando su frecuente uso como herramienta de especificación de patrones a la hora de diseñar formularios de entrada de datos en diferentes contextos y, particularmente, en aplicaciones web de tres capas. El hecho de trabajar esta competencia junto con el desarrollo teórico de las expresiones regulares permite a los estudiantes ser conscientes de la importante utilidad práctica de este concepto, sin restringirlo a otros usos más clásicos relacionados con el diseño de procesadores de textos o analizadores léxicos. Durante el curso 2006-07 se ha propuesto a los estudiantes de Ingeniería Técnica en Informática de Sistemas de la Universidad del País Vasco desarrollar fragmentos de código basados en una notación formal para resolver problemas de reconocimiento de patrones. La experiencia se ha llevado a cabo utilizando concretamente la notación, inspirada en las expresiones regulares, de JavaScript, resultando viable, efectiva y bien valorada por parte de los estudiantes.

Two new species of Zospeum Bourguignat, 1856 from the Basque-Cantabrian Mountains, Northern Spain (Eupulmonata, Ellobioidea, Carychiidae)

Two new species of the genus Zospeum Bourguignat, 1856 are described from caves in the Sierra de Aitzgorri (Gipuzkoa) and the Sierra Salvada (Burgos) in Northern Spain. The taxa Z. vasconicum sp. n. and Z. zaldivarae sp. n. have recently, without a formal name, been included in a molecular study of worldwide members of the Carychiidae. In the present paper, the shell morphology and variation of these species is described and illustrated.