The Open UniversitySkip to content

A Prolog toolkit for formal languages and automata

Wermelinger, Michel and Dias, Artur Miguel (2005). A Prolog toolkit for formal languages and automata. In: Proceedings of the 10th annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 27-29 Jun 2005, Caparica, Portugal, ACM.

Full text available as:
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (131kB)
[img] ZIP archive (Not Set)
Download (37kB)
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


This paper describes the first version of P-flat, a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms taught in Formal Languages and Automata Theory (FLAT) courses. By ?pedagogical implementation? we mean on the one hand that students should be able to easily map the implementation to the mathematical definitions given in lectures, and on the other hand that the toolkit should provide a library for students to implement further concepts and algorithms. In both cases the goal is to make students more confident in defining and manipulating the various kinds of languages and automata at a level beyond the one provided by visual simulators of automata. As such, P-flat is not intended to replace but rather complement existing graphical tools. We believe the declarative, non-deterministic, and interactive nature of Prolog helps in building an executable specification of FLAT concepts and definitions that can be actively extended and explored by students, in order to achieve the stated goal.

Item Type: Conference or Workshop Item
Copyright Holders: 2005 ACM
Extra Information: ISBN: 1-59593-024-8
Pages: 330 - 334
Also published under ISSN: 0097-8418

'Zip archive' contains the P-flat software as described in the paper.
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 1171
Depositing User: Michel Wermelinger
Date Deposited: 01 Jun 2006
Last Modified: 08 Dec 2018 13:45
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU