JFLAP Publications
 we list papers we have published and others
have published that refer to JFLAP
Books
Susan Rodger and Thomas Finley, JFLAP  An Interactive Formal Languages and
Automata Package, ISBN 0763738344, Jones and Bartlett, 2006.
info
JFLAP Activities for Formal Languages and Automata, ISBN13: 9780763772024,
a CD
Supplement with JFLAP exercises by Linz and Rodger published
Dec. 2008.
This CD has JFLAP examples and exercises chapter by chapter to fit
with the Linz book.
Papers we have published
Mostafa Mohammed, Cliff A. Shaffer, and Susan H. Rodger, Teaching Formal Languages with
Visualizations and AutoGraded Exercises, Fiftysecond SIGCSE Technical Symposium on
Computer Science Education (SIGCSE 21), p. 569575, Virtual Event, USA, March 2021.
Mostafa Mohammed, Susan Rodger, and Cliff Shaffer, Using Programmed Instruction to Help
Students Engage with ETextbook Content, 2019 AIED Workshop on Intelligent Textbooks at
the 20th International Conference on Artificial Intelligence in Education, p. 135145, Chicago,
IL, June 2019.
Susan Rodger, Henry Qin, and Jonathan Su,
Tips/Techniques: Changes to JFLAP to increase its use in courses,
The 16th Annual Conference on Innovation and Technology in
Computer Science Education (ITiCSE 2011), Darmstadt, Germany,
p.339, 2011.
pdf
Susan Rodger, Henry Qin, and Jonathan Su,
Increasing the use of JFLAP in Courses, Sixth Program Visualization
Workshop (PVW 2011), Darmstadt, Germany, p.5356, 2011.
pdf
Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris Morgan, Kareem
Omar, and Jonathan Su, Increasing Engagement in Automata Theory with JFLAP,
Fourtieth SIGCSE Technical Symposium on
Computer Science Education, p.403407, 2009.
pdf
Susan H. Rodger, Jinghui Lim, and Stephen Reading,
Increasing Interaction and Support in the Formal Languages and
Automata Theory Course,
The 12th Annual Conference on Innovation and Technology in
Computer Science Education (ITiCSE 2007), p. 5862,
2007. pdf
Susan H. Rodger, Bart Bressler, Thomas Finley, and Stephen Reading,
Turning Automata Theory into a Handson Course,
Thirtyseventh SIGCSE Technical Symposium on
Computer Science Education, 2006 (p. 379383) pdf
Ryan Cavalcante, Thomas Finley and Susan H. Rodger, A Visual and
Interactive
Automata Theory Course with JFLAP 4.0,
Thirtyfifth SIGCSE Technical Symposium on
Computer Science Education, 2004 (p.140144).
pdf
S. H. Rodger, Using Handson Visualizations to Teach Computer Science
from Beginning Courses to Advanced Courses, Second Program Visualization
Workshop, Hornstrup Centert, Denmark, p. 103112, June 2002.
pdf
(first draft)
T. Hung and S. H. Rodger,
Increasing Visualization and Interaction in the Automata Theory Course,
Thirtyfirst SIGCSE Technical Symposium on
Computer Science Education, p. 610, 2000.
html
and ps
E. Gramond and S. H. Rodger,
Using JFLAP to Interact with Theorems in Automata Theory,
Thirtieth SIGCSE Technical Symposium on
Computer Science Education, p. 336340, 1999.
pdf
E. Gramond and S. H. Rodger, JFLAP:
An Aid to Studying Theorems in Automata Theory,
Integrating Technology into Computer Science Education,
Dublin, Ireland, p. 302, 1998.
A. O. Bilska, K. H. Leider, M.
Procopiuc, O. Procopiuc, S. H. Rodger,
J. R. Salemme and E. Tsang,
A Collection of Tools for Making Automata Theory and Formal Languages Come
Alive,
Twentyeighth SIGCSE Technical Symposium on
Computer Science Education, p. 1519, 1997.
pdf
M. Procopiuc, O. Procopiuc, and S. Rodger,
Visualization and Interaction in the Computer Science
Formal Languages Course with JFLAP,
1996 Frontiers in Education Conference,
Salt Lake City, Utah, p. 121125, 1996.
pdf
S. H. Rodger, Integrating HandsOn Work into the Formal Languages Course
via Tools and Programming, Workshop on Implementing Automata,
Lecture Notes In Computer Science 1260,
SpringerVerlag, p. 132148,
1996. (this version is an early draft)
pdf
D. Caugherty, and S. H. Rodger, NPDA: A Tool for Visualizing and
Simulating Nondeterministic Pushdown Automata, in Computational
Support for Discrete Mathematics, DIMACS Series in Discrete
Mathematics and Theoretical Computer Science, Vol. 15, N. Dean and G.
E. Shannon (ed.), American Mathematical Society, 1994, 365377.
(book)
S. Blythe, M. James, and S. H. Rodger,
LLparse and LRparse: Visual and Interactive Tools for
Parsing,
Proceedings of the Twentyfifth SIGCSE Technical Symposium on
Computer Science Education,
1994, 208212.(pdf)
E. Luce and S. H. Rodger,
A Visual Programming Environment for Turing Machines,
Proceedings of the IEEE Symposium on Visual Languages,
1993, 231236.
M. LoSacco and S. H. Rodger,
FLAP: A Tool for Drawing and Simulating Automata,
EDMEDIA 93, World Conference on Educational Multimedia and
Hypermedia,
1993, 310317.
Survey papers with a strong recommendation for using JFLAP
 P. Chakraborty, P.C. Saxena, and C. P. Katti, Fifty years of automata
simulation: a review, ACM Inroads, Volume 2, Issue 4, p. 5970, December 2011.
Here are quotes from this paper about JFLAP for an automata simulator.
"The effort put
into developing this tool is unparalleled in the field of simulation
of automata. As a result, today it is the most sophisticated tool for
simulating automata. It now covers a large number of topics on
automata and related fields. The tool is also the best documented
among the tools for simulation of automata."
"The tool uses state of the art graphics and is one of the easiest to
use. The tool is undoubtedly the most widely used tool for simulation
of automata developed to date. Thousands of students have
used it at numerous universities in more than a hundred countries."
 C. Shaffer, M. Cooper, A. Alon, M. Akbar, M. Stewart, S. Ponce, and
S. Edwards, Algorithm Visualization: The State of the Field. Transactions
on Computing Education (TOCE), Vol. 10, Issue 3, 22 pages, 2010.
This paper is a survey of algorithm visualization and mentions JFLAP
as one of the major visualization projects.
 J. Bergin, T. Naps, C. Bland, S. Hartley, M. Holliday, P. Lawhead,
J. Lewis, M. McNally, C. Nevison, C. Ng, G. Pothering, and T. Terasvirta,
Java resources for computer science instruction, ITICSEWGR '98: Working
Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on
Integrating technology into computer scienc education, p. 1434, 1998.
JFLAP is described in a paragraph in the section of visualization tools.
Papers others have published using JFLAP 
either modifying JFLAP or
using JFLAP in some way...

Asopa, Pooja and Sharma, Neelam, A Turing Model for Human
Cognition, International
Journal of Advanced Trends in Computer Science and Engineering, 2020, 9(5),
pp. 89578961, DOI: 10.30534/ijatcse/2020/296952020.
Abstract: The process of knowledge acquisition deals with the notion of
storing the information in long term memory and retrieving the
information from long term to short term memory. This
process of storing information can be represented in a form of
a finite tape. In this research work, a Turing machine model
for the information transfer from sensory memory to short
term memory is proposed. Along with the model an informal
description of an algorithm for information transfer from
sensory, to working memory and long term memory is also
proposed and discussed. Learning is a continuous process
where construction and reconstruction of knowledge is
reflected in long term memory. The recursive process of
learning is influenced by learner's emotional dimension,
learning style and its associated external environment.
This model is designed in JFLAP.
 Title in portuguese: "Um merge entre Máquina de Turing e Operações Matemáticas em
Binário no Ensino de Linguagens Formais e Autômatos"
Title in english: "Merging Turing Machine and Mathematical Operations in Binary for
teaching Formal Languages and Automata"
CAMPANO JUNIOR, M. M. ; FARIA, C. R. E. ; BARBOSA, C. R. S. C. ;
FELINTO, A. S. . Um merge entre Máquina de Turing e Operações Matemáticas em
Binário no Ensino de Linguagens Formais e Autômatos. In: XXIV CONGRESSO
INTERNACIONAL DE INFORMÁTICA EDUCATIVA, 2019, Arequipa, Perú. TISE 2019, 2019.
paper
Abstract: This paper proposes the use of computational arithmetic operations in the
teaching of Turing Machine concepts. The developed machine receives two numbers in
binary for entry and generates the result of adding these numbers, allowing by a
didactic multidisciplinary resource helping in learning process of mathematical
operations in binary. The software was evaluated by 29 students in the Formal
Language, Automata and Computability discipline for a second year of the Computer
Science course at Maringa State University at the same time that binary number
operations were used in Architecture and Organization of Computers for the same
class and course.
 Mohammed, Mostafa Kamel, Teaching Formal Languages through
Visualizations, Simulators, Autograded Exercises, and Programmed
Instruction (poster), Proceedings of the 51st ACM Technical Symposium on Computer
Science Education, 2020. page 1429
Abstract: The material taught in a Formal Languages course is
mathematical and requires students to practice proofs and algorithms to
understand the content. Traditional Formal Languages textbooks are heavy
on prose, and homework typically consists of solving many paper
exercises. Students need to read a significant amount of text to achieve
understanding. Inspired by the principles of the Programmed Instruction
(PI) teaching method, we seek to develop a new Formal Languages
eTextbook. The PI approach has students read a little, ideally a sentence
or a paragraph, and then answer a question or complete an exercise
related to that information. Based on the question response, students are
permitted to continue to other frames of information or must retry to
solve the exercise. However, students need to build Formal Languages
models and apply different algorithms. Some instructors make use of
Finite State Machine simulators like JFLAP for this purpose. However,
JFLAP is built using Java, and it gives no support for autograding. We
developed an openaccess version of JFLAP, called OpenFLAP. OpenFLAP
provides proficiency exercises, autograded exercises, and visualizations
to help students understand and practice Formal Languages contents. To
evaluate the pedagogical effectiveness of our new eTextbook, we conduct
time and performance evaluations across three offerings of the course
CS4114 Formal Languages and Automata at Virginia Tech.
 Ivona Bezakova, Edith Hemaspaandra, Aryeh Lieberman, Hannah Miller, and
David Narvaez, Prototype of an Automated Feedback Tool for Intro CS
Theory (poster), Proceedings of the 51st ACM Technical Symposium on Computer
Science Education, 2020. page 1311.
Abstract:
Computing theory is an important part of computer science education,
introducing students to computational models of increasing power to study
possibilities and limitations of computation. The subject is, however,
very abstract and mathematical, and students often struggle with
it. Students must master various computational models, but there is often
a lengthy delay from the time a model is introduced until a student gets
feedback on their related assignment. During this time, the course has
typically moved far ahead, and students become progressively more
lost. To alleviate this problem, we developed a prototype of an automated
feedback tool for CS theory, which extends the widely used JFLAP
software. Our tool currently handles student submissions of deterministic
and nondeterministic finite automata, regular expressions, contextfree
grammars, and pushdown automata homework, where an instructor specifies
the target language and the students receive immediate feedback on their
submissions. Currently, for incorrect submissions, the feedback is in the
form of a "witness'' string, specifying a string on which the submission
fails. Beyond regular languages, our tool attempts to solve undecidable
problems; fortunately, the undecidability does not occur on typical
homework assignments. We are collecting preliminary evaluation data from
students using the prototype tool in their course. In our future work, we
will analyze the data, and we aim to produce automated partial credit
(along with the witness feedback) using SAT and QBF solvers.
 Andrew Berns, Scored out of 10: Experiences with Binary Grading Across
the Curriculum, Proceedings of the 51st ACM Technical Symposium on Computer
Science Education, 2020. pages 11521157.
Used JFLAP in a study on binary grading in an automata theory course.
 Desislava Baeva, Using Lindenmayer Systems For Generative Modeling Of
Graphic Concepts, Set In Elements Of Bulgarian Folklore Embroidery,
CompSysTech '19: Proceedings of the 20th International Conference on
Computer Systems and Technologies, June 2019, pages 234239.
Uses JFLAP to generate Lsystem patterns that are then embroidered.
 Yuan Gan, Marsha Chechik, and Shiva Nejati, Cascon '17: Proceedings of
the 27th Annual International Conference on Computer Science and Software
Engineering, November 2017, pages 217.
Use JFLAP to display their modeling NFAs on Web services.
 Adithi G. S., Akshay Adiga, Pavithra K., Prajwal P. Vasisht, and Viraj
Kumar, Secure, Offline Feedback to Convey Instructor Intent,
Proceedings of the 2015 IEEE Seventh International Conference on
Technology for Education (T4E '15), 2015, Pages 105108.
Abstract: One of the core skills that Computer Science undergraduates master is to
create finite automata and regular expressions from naturallanguage
descriptions of formal languages. It is quite common for such descriptions
to be ambiguous (or appear to be so), particularly when instructors or
students are not fluent in the natural language. Two questions arise: (1)
Can an instructor unambiguously convey the intended description to students
in a secure manner (i.e., without revealing the instructor's own solution)?
(2) Can such a tool operate offline (i.e., without requiring internet
access)? Question (1) on its own can be addressed by permitting students to
upload their attempts to a server, where they can be checked against the
instructor's solution for equivalence. Such feedback cannot be obtained by
students lacking reliable internet connectivity. In this paper, we present
a technique to address both these questions: assuming cryptographically
secure hash functions exist, a student learns only whether her attempt is
equivalent to the instructor's solution (but nothing further), and after
downloading the problem statement, all subsequent computation is performed
on the student's own computer. We have implemented this functionality as an
opensource extension to JFLAP, a popular educational tool in this domain.
 Jody Paul, Using JFLAP to engage students and improve learning of
computer science theory: tutorial presentation, Journal of Computing
Sciences in Colleges, Volume 31, Issue 2, December 2015, pages 145148.
 Sunita M Dol and Dattatray P. Gandhamal, TPFOSSS: A Modified TPS
Technique to Improve Student's Conceptual Understanding of Compiler
Construction Course, Proceedings of the 2014 IEEE Sixth International
Conference on Technology for Education (T4E '14), pages 245248.
Abstract: TPFOSSS (ThinkPair Free Open Source SoftwareShare) is a
cooperative learning activity and modified activity of TPS in which free
open source software e.g. Parsing Simulator for Compiler Construction or
JFLAP simulator for Theory of Computation etc. Can be used in TPS
activity. Providing "think time" in TFOSSPS improves quality of student
responses. This activity develops skills of sharing information, improves
the interaction, listening, asking questions, summarizing others' ideas
etc. In this paper, we present how TPFOSSS works, advantages of TPFOSSS
over TPS and experimental results. The experiment carried out is two group
experimental studies.
 Vinay Shekhar, Akshata Prabhu, Kavitha Puranik, Lakshmi Antin and Viraj
Kumar, JFLAP Extensions for Instructors and Students, Proceedings fo the
2014 IEEE Sixth International Conference on Technology for Education
(T4E'14), December 2014, pages 140143.
Abstract: JFLAP is a popular opensource software tool used in Formal Languages and
Automata courses. In this paper, we present two kinds of enhancements to
JFLAP's capabilities with regards to finite automata: (1) we provide
instructors with the ability to understand difficulties faced by students
on an individual and collective basis by tracking student progress as they
solve automata construction problems, and (2) we offer students a simple
and intuitive means to specify correctness of their automata constructions,
and a mechanism to easily test their automata against such correctness
specifications. We believe that these extensions enhance the value of JFLAP
as a resource for both instructors and students.
 Jack Alanen, Software tools for learning: tips, tricks, and traps,
Journal of Computing Sciences in Colleges, Volume 29, Issue 4, April
2014, page 201.
 P. Crescenzi, L. Rossi and G. Apollaro,
Making Turing Machines Accessible to Blind Students, Fortythird Symposium
SIGCSE Technical Symposium on
Computer Science Education, p. 167172, 2012.
Decribes how they modified JFLAP software to be accessible to
blind students.
 K. Aldrawiesh, F. Siewe, and H. Zedan. An Observation Model to Detect Security Violoations in Web Services
Environment. ISWSA '11: Proceedings of the 2011 International Conference
on Intelligent Semantic WebServices and Applications, 6 pages, 2011.
The paper is about a model for detecting security violations for web
services. They use JFLAP to define a model and test it, and then code the
model using Java.
 N. Neff, Problemdirected discrete structures course. SIGCSE
'10, Proceedings of the 41st ACM technical symposium on computer
science education, pages 148151, 2010.
This paper describes a revised course on discrete structures. They
mention that their course uses lab experiences with JFLAP.
 G. J. Bex, W. Gelade, F. Nevin and S. Vansummeren. Learning
Deterministic Regular Expressions for the Inference of Schemas from
XML Data, Transactions on the Web (TWEB), Vol. 4, Issue 4, 32 pages, 2010.
In talking about translating kOAs into kOREs, they show an SOA in which
a classical state elimination algorithm returns a complicated expression,
by showing the resulting regular expression generated from JFLAP.
 G. J. Bex, F. Neven, T. Schwentick, S. Vansummeren,
Inference of concise regular expressions and DTDs,
Transactions on Database Systems (TODS), Vol. 35, Issue 2, 47 pages, 2010.
In talking about translating from SOA to SORE, they show the resulting
regular expression generated using JFLAP of the classical state elimination
algorithm applied to an SOA example.
 Galina Jiraskova and Tomas Masopust, Complexity in UnionFree Regular
Lecture Notes in Computer Science 6224, DLT 2010, pages 255266.
From the author:
We used JFLAP (see p.261) to verify
that the automaton we reference in another paper(Thm3, p.320)
does not provide 256 reachable states for n=8, as claimed in the paper.
 N. Pillay, Learning Difficulties Experienced by Students in a Course
on Formal Languages and Automata Theory, inroads SIGCSE Bulletin, Vol. 41,
No. 6, p. 4852, 2009.
This paper mentions a study in which JFLAP was made available for students
to use to learn the material. However, the use of JFLAP was not compulsory,
so it was not clear how much if any students used it.
 M. Armoni and M. BenAri, The Concept of nondeterminism: its
development and implications for teaching. ACM SIGCSE Bulletin, Vol. 41,
Issue 2, , pages 141160, June 2009.
This paper talks about nondeterminism and has a section on how to use JFLAP
for nondeterminism.
 Z. Dodds, R. LibeskindHadas, C. Alvarado, and G. Kuenning,
Evaluating a breadthfirst cs 1 for scientists, SIGCSE '08:
Proceedings of the 39th SIGCSE technical symposium on computer
science education, pages 266270, 2008.
This paper is about a new course CS for Scientists. They mention one
of the software tools they use in the course is JFLAP.
 J. Jarvis and J. M. Lucas, Incorporating Transformations
into JFLAP for Enhanced Understanding of Automata.
ACM SIGSCE Bulletin, Volume 40, Issue 1, p. 1418, March 2008.
Jarvis (AMD) and Lucas (SUNY, College at Brockport) modified JFLAP using a
plugin system that allows transformation to and from any automata.
The goal was to assist in instructing students about topics such as
the ChurchTuring thesis and the theory of undecidability. The modified
version of JFLAP was implemented in coursework at SUNY Brockport College.
 J. Jarvis and J. M. Lucas, Understanding the Universal Turing Machine:
an implementation in JFLAP. Journal of Computing Sciences in Colleges,
Vol. 23, Issue 5, May 2008, pages 1801888.
Abstract: We describe the implementation of a Universal Turing Machine for
the JFLAP platform. JFLAP is most successful and widely used tool for
visualizing and simulating automata such as finite state machines, pushdown
automata, and Turing Machines. By executing our Universal Turing Machine in
JFLAP, students get a direct and interactive experience of how this Turing
Machine is capable of emulating other Turing Machines.
 Y. K. Tsay, T. F. Chen, M. H. Tsai, W. C. Chan, C. J. Luo.
Goal Extended: Towards a Research Tool for Omega Automata and Temporal Logic.
In Proceedings of the 14th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963,
346350, March/April, 2008.
GOAL uses and modifies JFLAP source code as software for researching Omega automata and
temporal logic.
 M. BenAri, Teaching concurrency and nondeterminism with spin.
ITICSE '07, Proceedings of the 12th anual SIGCSE conference on
Innovation and technology in computer science education, pages
363364.
This paper talks about teaching nondeterminism using the tool spin and
VN and mentions that the input to VN is an NDFA created by JFLAP.
 Y. K. Tsay, Y. F. Chen, M. H. Tsai, K. N. Wu, W. C. Chan. GOAL:
A Graphical Tool for Manipulating Buchi Automata and Temporal Formulae.
In Proceedings of the 13th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS 2007), LNCS 4424,
466471, March/April, 2007.
Goal used the automata and graph modules from JFLAP.
 A. Merceron and K. Yacef, WebBased Learning Tools:
Storing Usage Data Makes a Difference. Proceeding of
the Sixth IASTED International Conference WebBased
Education  Volume 2, p. 104109. Chamonix, France 2007.
Merceron and Yacef conducted analysis on the usage of JFLAP and LogicITA
(A webbased tutoring system for logical formal proofs) and student feedback.
JFLAP's usage as an extra resource in coursework at the University of
Applied Science in Berlin was investigated using student surveys. The study
verified JFLAP's benefits for students and found that the students who
tried the tool praised its utility.
 A. J. Rocker, C. M. Yauch, S. Yenduri, L.A. Perkins, and F. Zand,
PaperBased Dichotomous Key to Computer Based Application For Biological
Identification. Journal of Computing Sciences in Colleges, Volume 22,
Issue 5, p. 3038, May 2007.
Researchers at the University of Southern Mississippi used JFLAP to design
deterministic finite automata as alternatives to traditonally used,
paperbased dichotomous keys for biological identification in taxonomy.
 Y. Gan, M. Chechik, S. Nejati, J. Bennett, B. O'Farrell, and
J. Waterhouse, Runtime monitoring of web service conversations,
CASCON '07 Proceedings of the 2007 conference of the center for advanced
studies on Collaborative research, pages 4257, 2007.
In their research they generate NFAs, store them in XML format and display them
using JFLAP.
 C. Allison, Practical Computation Theory. Journal of Computing
in Colleges  Papers of the Fourteenth Annual CCSC Midwestern Conference
and Papers of the Sixteenth Annual CCSC Rocky Mountain Conference, Vol. 23,
Issue 1, pages 141146, October 2007.
He has an example of a Mealy machine created with JFLAP in his paper.
 Y. K. Tsay, Y. F. Chen, and K. N. Wu. Tool Support for
Learning Buchi Automata and Linear Temporal Logic. Formal Methods
in the Teaching Lab, Examples, Cases, Assignments, and Projects
Enhancing Formal Methods Education. A Workshop at the Formal
Methods 2006 Symposium, August 2006.
Tsay, Chen, and Wu created GOAL (Graphical interactive tool for
OmegaAutomata and temporal Logic) to help instruct students on
Buchi automata and linear temporal logic with the usage and help of JFLAP code.
 G. J. Bex, F. Neven, T. Schwentick and K. Tuyls, Inference of
concise DTDs from XML data. VLDB '06: Proceedings of the 32nd international
conference on Very Large Data Bases, pages 115126, 2006.
In the section on Inferring SOREs: iDTD,
they have an automaton and use JFLAP to convert the automaton to a regular
expression and show the resulting regular expression.
 A. R. M. Verma, A Visual and Interactive Automata
Theory Course Emphasizing Breadth of Automata. Annual Joint
Conference Integrating Technology into Computer Science Education,
Proceedings of the 10th annual SIGCSE conference on Innovation and
technology in computer science education, p. 325329. Caparica, Portugal 2005.
Verma describes a revision in a Theory of Computing course
program at the University of Houston that uses a modified version
of JFLAP as a basis for more visualized teaching of automata theory.
Student evaluations for the course responded positvely to the changes
and some students were inspired by the changes to pursue further work
on the course and materials.
 J. Angel VelazquezIturbide, A programming languages course for
freshmen, ITiCSE '05: Proceedings of the 10th annual SIGCSE
conference on Innovation and technology in computer science
education, pages 271275, 2005.
This paper describes a programming languages course for first year
college students. One of the tools they use in the laboratory component
of the course is JFLAP.
 A. L. Salmela and J. Tarhio. ACE: Automated Compiler Exercises.
Kolin Kolistelut  Koli Calling 2004, Proceedings of the Fourth Finnish/Baltic
Sea Conference on Computer Science Education. Koli, Finland 2004.
Salmela and Tarhio at the Helsinki University of Techonology have used
JFLAP as a foundation for their Automated Compiler Exercises to be used
in coursework. Their automation of assignments using JFLAP code is designed
to increase interactivity by making constructive feedback immediate and
implementing visualizations.
 C. Chesnevar, M. Gonzalez, and A Maguitman, Didactic strategies for
promoting significant learning in formal languages and automata theory.
ITiCSE '04, Proceedings of the 9th annual SIGCSE conference on Innovation
and Technology in computer science education, pages 711, 2004.
They examined the learning environment of the formal languages and
automata class. As part of that they used several tools including JFLAP.
 C. I. Chesnevar, M. L. Cobo, and W. Yurcik, Using
Theoretical Computer Simulators for Formal Languages and
Automata Theory. ACM SIGCSE Bulletin, Volume 35, Issue 2,
p. 3337. New York, NY 2003.
Chesnevar, Cobo, and Yurcik's paper describes testing of several
software tools used for teaching formal languages and automata theory
at the Universidad Nacional del Sur, Argentina. The useful capability
of JFLAP for students to integrate automata theory with the associated
grammars was noted. The paper illustrated the efficacy of using multiple
simulators on the same topics to enhance student understanding.
 T. Greening and J. Kay, Undergraduate research experience in computer
science education. ITiCSE '02, Proceedings of the 7th annual conference on
Innovation and technology in computer science education, pages 151155,
2002.
This paper is about computer science research experiences for
undergraduates and mentions a research project a student did
in the evaluation of JFLAP with the student designing tutorial
activities, running the tutorials and evaluating the learning
outcomes with or without JFLAP.
 L. A. Sanchis, Computer Laboratories For The Theory of
Computing Course. Journal of Computing Sciences In Colleges,
Volume 16, Issue 4, p. 262269, 2001.
Sanchis uses JFLAP for a variety of laboratory activities, which
are described in the article. Many of JFLAP's featured automata
are utilized interactively in the labs. JFLAP is a popularly chosen
option among students for constructing finite automata that recognizes tokens appearing in C++.
If you know of other papers that mention JFLAP, please send us the link
at jflap "at" cs.duke.edu. A short description of how the paper uses JFLAP
would also be appreciated.