Wermelinger, Michel and Dias, Artur Miguel
PDF (Accepted Manuscript)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
ZIP archive (Not Set)
|DOI (Digital Object Identifier) Link:||http://doi.org/10.1145/1067445.1067536|
|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 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
Mathematics, Computing and Technology
|Interdisciplinary Research Centre:||Centre for Research in Computing (CRC)|
|Depositing User:||Michel Wermelinger|
|Date Deposited:||01 Jun 2006|
|Last Modified:||24 Feb 2016 01:47|
|Share this page:|
► Automated document suggestions from open access sources
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.