Sciweavers

6 search results - page 2 / 2
» A visual and interactive automata theory course with JFLAP 4...
Sort
View
ITICSE
2005
ACM
13 years 11 months ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias