Se trata de un software que permite trabajar con diferentes conceptos asociados con los lenguajes formales. En particular, dentro de nuestro curso, puede sernos de utilidad la posibilidad de relacionar gramáticas con automátas finitos y viceversa, así como poner a prueba gramáticas o automátas en cuanto a si aceptan o rechazan determinadas cadenas de entrada.
Ha sido desarrollado por la Duke University de Durham, Carolina del Norte, Estados Unidos. Es de uso libre y puede descargarse AQUÍ.
Requiere instalar el software Java de Sun. Puede descargarse gartuitamente la última versión desde el sitio http://java.com/es/.
