skip to main content
10.1145/3649217.3653641acmconferencesArticle/Chapter ViewAbstractPublication PagesiticseConference Proceedingsconference-collections
research-article

Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation

Published: 03 July 2024 Publication History

Abstract

The transformation of a nondeterministic finite-state automaton into a deterministic finite-state automaton is an integral part of any course on formal languages and automata theory. For some students, understanding this transformation is challenging. Common problems encountered include not comprehending how the states of the deterministic finite-state automaton are established and not comprehending the role that all the edges of the nondeterministic finite-state automaton have in the deterministic finite-state automaton's construction. To aid students in understanding, transformation visualization tools have been developed. Although useful in helping students, these tools do not properly illustrate the relationship between the states of the deterministic finite-state automaton and the edges of the nondeterministic finite-state automaton. This article presents a novel interactive visualization tool to illustrate the transformation that highlights this relationship and that is integrated into the FSM programming language. The implementation of the visualization is sketched and feedback obtained from a focus group is presented. The feedback suggests that the visualization tool is well-received, useful, and easy to use.

References

[1]
Matthew Flatt, Robert Bruce Findler, and PLT. 2024. The Racket Guide. PLT. https://docs.racket-lang.org/guide/ last accessed 2024-03--15.
[2]
Emden R. Gansner and Stephen C. North. 2000. An Open Graph Visualization System and Its Applications to Software Engineering. Softw. Pract. Exper., Vol. 30, 11 (September 2000), 1203--1233. https://doi.org/10.1002/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N
[3]
Mary Hegarty. 2004. Dynamic Visualizations and Learning: Getting to the Difficult Questions. Learning and Instruction, Vol. 14, 3 (2004), 343--351. https://doi.org/10.1016/j.learninstruc.2004.06.007 Dynamic Visualisations and Learning.
[4]
Edwin L. Hutchins, James D. Hollan, and Donald A. Norman. 1985. Direct Manipulation Interfaces. Hum.-Comput. Interact., Vol. 1, 4 (December 1985), 311--338. https://doi.org/10.1207/s15327051hci0104_2
[5]
Harry R. Lewis and Christos H. Papadimitriou. 1997. Elements of the Theory of Computation 2nd ed.). Prentice Hall PTR, Upper Saddle River, NJ, USA. https://doi.org/10.1145/300307.1040360
[6]
Mostafa Kamel Osman Mohammed. 2020. Teaching Formal Languages through Visualizations, Simulators, Auto-graded Exercises, and Programmed Instruction. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE 2020, Portland, OR, USA, March 11--14, 2020, Jian Zhang, Mark Sherriff, Sarah Heckman, Pamela A. Cutter, and Alvaro E. Monge (Eds.). ACM, USA, 1429. https://doi.org/10.1145/3328778.3372711
[7]
Marco T. Morazá n. 2024. Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove. Springer, Switzerland. https://doi.org/10.1007/978--3-031--43973--5
[8]
Marco T. Morazá n and Rosario Antunez. 2014. Functional Automata - Formal Languages for Computer Science Students. In Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014 (EPTCS, Vol. 170), James L. Caldwell, Philip K. F. Hö lzenspies, and Peter Achten (Eds.). Open Publishing Association, Australia, 19--32. https://doi.org/10.4204/EPTCS.170.2
[9]
Marco T. Morazá n, Joshua M. Schappel, and Sachin Mahashabde. 2020. Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. Electronic Proceedings in Theoretical Computer Science, Vol. 321 (August 2020), 55--77. https://doi.org/10.4204/eptcs.321.4
[10]
Susan H. Rodger. 2006. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, Inc., USA.
[11]
Susan H. Rodger, Bart Bressler, Thomas Finley, and Stephen Reading. 2006. Turning automata theory into a hands-on course. In Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3--5, 2006, Doug Baldwin, Paul T. Tymann, Susan M. Haller, and Ingrid Russell (Eds.). ACM, USA, 379--383. https://doi.org/10.1145/1121341.1121459
[12]
John Sweller, Jeroen J. G. van Merrienboer, and Fred Paas. 1998. Cognitive Architecture and Instructional Design. Educational Psychology Review, Vol. 10 (1998), 251--296. https://doi.org/10.1023/A:1022193728205

Index Terms

  1. Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      ITiCSE 2024: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1
      July 2024
      776 pages
      ISBN:9798400706004
      DOI:10.1145/3649217
      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 the author(s) 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].

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 03 July 2024

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. deterministic finite-state machines
      2. machine transformation
      3. nondeterministic finite-state machines
      4. visualization

      Qualifiers

      • Research-article

      Conference

      ITiCSE 2024
      Sponsor:

      Acceptance Rates

      Overall Acceptance Rate 552 of 1,613 submissions, 34%

      Upcoming Conference

      ITiCSE '25
      Innovation and Technology in Computer Science Education
      June 27 - July 2, 2025
      Nijmegen , Netherlands

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • 0
        Total Citations
      • 79
        Total Downloads
      • Downloads (Last 12 months)79
      • Downloads (Last 6 weeks)11
      Reflects downloads up to 17 Feb 2025

      Other Metrics

      Citations

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media