Interactive manipulation of regular objects with FAdo

FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of interactive tools for teaching and assisting research on regular languages, and in particular finite automata and regular expressions. Those tools implement most standard automata operations, conversion between automata and regular expressions, and word recognition. We illustrate their use in training and automatic assessment. Finally we present a graphical environment for editing and interactive visualisation. Categories and Subject Descriptors

• Type: Conference
• Year: 2005
• Where: ITICSE
• Authors: Nelma Moreira, Rogério Reis
• Keywords: ITICSE 2005, Particular finite Automata, Regular Expressions, Standard Automata Operations