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 June 2005, Caparica, Portugal, ACM.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (128Kb)
[img] ZIP archive (Not Set)
Download (36Kb)
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1145/1067445.1067536
Google Scholar: Look up in Google Scholar

Abstract

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 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/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
eSTEeM
Item ID: 1171
Depositing User: Michel Wermelinger
Date Deposited: 01 Jun 2006
Last Modified: 07 Mar 2014 13:43
URI: http://oro.open.ac.uk/id/eprint/1171
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk