Article

jFAST: a java finite automata simulator

Authors:

Timothy M. White,

Thomas P. WayAuthors Info & Claims

SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on Computer science education

Pages 384 - 388

https://doi.org/10.1145/1121341.1121460

Published: 03 March 2006 Publication History

Get Access

Abstract

Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical software tool for teachers and students, with an emphasis on introductory level finite state machine topics. The jFAST software enables visual design, exploration and simulation of a variety of finite state machines, with a primary goal of enhancing teaching effectiveness in this subject, particularly for less advanced computer science students. The architecture and functionality of jFAST are explained, and results of preliminary evaluation are provided.

References

[1]

O. L. Astrachan, R. C. Duvall, J. Forbes, and S. H. Rodger. Active learning in small to large courses. In Proceedings of the 32nd ASEE/IEEE Frontiers in Education Conference, Boston, MA USA, November 2002.

Crossref

Google Scholar

[2]

H. Bergström. Applications, Minimisation, and Visualisation of Finite State Machines. Master's Thesis. Stockholm University, 1998. Related website at: http://www.dsv.su.se/~henrikbe/petc/.

Google Scholar

[3]

W. E. Campbell and K. A. Smith. New Paradigms for College Teaching. Jossey-Bass Publishers, San Francisco, 1995.

Google Scholar

[4]

J. Bovet. Visual Automata Simulator, a tool for simulating automata and Turing machines. University of San Francisco. Available for download at: http://www.cs.usfca.edu/~jbovet/vas.html. 2004.

Google Scholar

[5]

R. Cavalcante, T. Finley and S. Rodger. A visual and interactive automata theory course with JFLAP 4.0. In Thirty-fifth SIGCSE Technical Symposium on Computer Science Education, pages 99-99, ACM Press, 2004.

Digital Library

Google Scholar

[6]

N. Christin. DFApplet, a deterministic finite automata simulator. Available for download at: http://www.sims.berkeley.edu/~christin/dfa/. 1998.

Google Scholar

[7]

E. Head. ASSIST: A Simple Simulator for State Transitions. Master's Thesis. State University of New York at Binghamton. 1998. Related website at: http://www.cs.binghamton.edu/~software/.

Google Scholar

[8]

M. Mohri, F. C. N. Pereria and M. D. Riley. AT&T FSM Library. Software tools. 2003. Available at: http://www.research.att.com/sw/tools/fsm/.

Google Scholar

[9]

S. H. Rodger. Visual and Interactive Tools. Web site of automata theory tools at Duke University, Feb. 2005. Available online at: http://www.cs.duke.edu/~rodger/tools/.

Google Scholar

Cited By

View all

Gao MASerrano E(2024)A model design of learner state change in E-learning platform based on finite state machineThird International Conference on Electronic Information Engineering and Data Processing (EIEDP 2024)10.1117/12.3032959(142)Online publication date: 5-Jul-2024
https://doi.org/10.1117/12.3032959
Stamenković SJovanović N(2024)A Web-Based Educational System for Teaching CompilersIEEE Transactions on Learning Technologies10.1109/TLT.2023.329762617(143-156)Online publication date: 2024
https://doi.org/10.1109/TLT.2023.3297626
Jordaan STimm NMarshall L(2023)AutomaTutor: An Educational Mobile App for Teaching Automata TheoryFormal Methods: Foundations and Applications10.1007/978-3-031-49342-3_8(131-140)Online publication date: 2-Dec-2023
https://doi.org/10.1007/978-3-031-49342-3_8
Show More Cited By

Index Terms

jFAST: a java finite automata simulator
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Visual languages
2. Theory of computation
  1. Logic
  2. Models of computation

Recommendations

Automata simulator
CompSysTech '10: Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies

Software simulation tools supporting a teaching process are highly accepted by both teachers and students. We discuss the possibility of using automata simulators in theoretical computer science courses. The main purpose of this article is to propose ...
jFAST: a java finite automata simulator

Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical software tool for teachers and students, with an emphasis on introductory ...
Descriptional complexity of limited automata

A k-limited automaton is a linear bounded automaton that may rewrite each tape cell only in the first k visits, where k0 is a fixed constant. It is known that these automata accept context-free languages only. We investigate the descriptional complexity ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on Computer science education

March 2006

612 pages

ISBN:1595932593

DOI:10.1145/1121341

Program Chairs:
Doug Baldwin
SUNY Geneseo
,
Paul Tymann
Rochester Institute of Technology
,
Susan Haller
SUNY Potsdam
,
Ingrid Russell
University of Hartford

ACM SIGCSE Bulletin Volume 38, Issue 1
March 2006
553 pages
ISSN:0097-8418
DOI:10.1145/1124706
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 March 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGCSE06

Sponsor:

SIGCSE06: Technical Symposium on Computer Science Education

March 3 - 5, 2006

Texas, Houston, USA

Acceptance Rates

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE Virtual 2024

Sponsor:
sigcse

1st ACM Virtual Global Computing Education Conference

December 5 - 8, 2024

Virtual Event , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
780
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gao MASerrano E(2024)A model design of learner state change in E-learning platform based on finite state machineThird International Conference on Electronic Information Engineering and Data Processing (EIEDP 2024)10.1117/12.3032959(142)Online publication date: 5-Jul-2024
https://doi.org/10.1117/12.3032959
Stamenković SJovanović N(2024)A Web-Based Educational System for Teaching CompilersIEEE Transactions on Learning Technologies10.1109/TLT.2023.329762617(143-156)Online publication date: 2024
https://doi.org/10.1109/TLT.2023.3297626
Jordaan STimm NMarshall L(2023)AutomaTutor: An Educational Mobile App for Teaching Automata TheoryFormal Methods: Foundations and Applications10.1007/978-3-031-49342-3_8(131-140)Online publication date: 2-Dec-2023
https://doi.org/10.1007/978-3-031-49342-3_8
Marchetti KBodily P(2022)Visualizing the 3SAT to CLIQUE Reduction Process2022 Intermountain Engineering, Technology and Computing (IETC)10.1109/IETC54973.2022.9796851(1-5)Online publication date: May-2022
https://doi.org/10.1109/IETC54973.2022.9796851
Stamenković SJovanović NChakraborty P(2020)Evaluation of simulation systems suitable for teaching compiler construction coursesComputer Applications in Engineering Education10.1002/cae.2223128:3(606-625)Online publication date: 31-Mar-2020
https://doi.org/10.1002/cae.22231
Rocha JOlivete CGomes PGarcia RCorreia Rde Souza GEler D(2018)Internet-Based Education: A New Milestone for Formal Language and Automata CoursesInformation Technology – New Generations10.1007/978-3-319-77028-4_28(195-200)Online publication date: 2018
https://doi.org/10.1007/978-3-319-77028-4_28
de Souza Gde Andrade Gomes PCorreia ROlivete CEler DGarcia R(2016)Combined Methodology for Theoretical Computing2016 IEEE Frontiers in Education Conference (FIE)10.1109/FIE.2016.7757574(1-7)Online publication date: Oct-2016
https://doi.org/10.1109/FIE.2016.7757574
de Souza GOlivete CCorreia RGarcia R(2015)Teaching-learning methodology for formal languages and automata theoryProceedings of the 2015 IEEE Frontiers in Education Conference (FIE)10.1109/FIE.2015.7344185(1-7)Online publication date: 21-Oct-2015
https://dl.acm.org/doi/10.1109/FIE.2015.7344185
Morazán MAntunez R(2014)Functional Automata - Formal Languages for Computer Science StudentsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.170.2170(19-32)Online publication date: 12-Dec-2014
https://doi.org/10.4204/EPTCS.170.2
Rodriguez-Cerezo DGómez-Albarrán MSierra-Rodríguez JCarter JUtting IClear A(2013)Interactive educational simulations for promoting the comprehension of basic compiler construction conceptsProceedings of the 18th ACM conference on Innovation and technology in computer science education10.1145/2462476.2462498(28-33)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1145/2462476.2462498
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Automata simulator

jFAST: a java finite automata simulator

Descriptional complexity of limited automata