article

Language emulator, a helpful toolkit in the learning process of computer theory

Authors:

Luiz Filipe M. Vieira,

Marcos Augusto M. Vieira,

Newton J. VieiraAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 36, Issue 1

Pages 135 - 139

https://doi.org/10.1145/1028174.971348

Published: 01 March 2004 Publication History

Get Access

Abstract

Language Emulator, written in Java, is a toolkit to help undergraduate students to understand the concepts of Automata Theory. The software allows the manipulation of regular expressions, regular grammars, deterministic finite automata, nondeterministic finite automata with and without lambda transitions, and Moore and Mealy machines. Language Emulator introduces error-detecting and internationalization functionalities into automata tools. It has been accepted by 95% of students in a recent survey, indicating that it is a helpful toolkit in learning Automata Theory.

References

[1]

Deus ex machine http://www.ics.uci.edu/savoiu/dem/.Website.

Google Scholar

[2]

Ganimal http://rw4.cs.uni-sb.de/ganimal/.Web site.

Google Scholar

[3]

Turing's world http://www-csli.stanford.edu/hp/logic-software.html. Web site.

Google Scholar

[4]

Webworks laboratory http://www.cs.montana.edu/webworks. Web site.

Google Scholar

[5]

Bilska, A. A collection of tools for making automata theory and formal languages come alive. SIGCSEB: SIGCSE Bulletin 29 (1997)15--19.

Digital Library

Google Scholar

[6]

Chesnevar, C. I. Cobo M. L., and Yurcik W. Using theoretical computer simulators for formal languages and automata theory. SIGCSEB:SIGCSE Bulletin 35 (2003)33--37.

Digital Library

Google Scholar

[7]

Gloor, P. Aace - algorithm animation for computer science education. In Workshop on Visual Languages (1992) pp.25--31.

Google Scholar

[8]

Koutsofios, E., and North, S. C. Drawing graphs with dot. In "AT&T Bell Laboratories" (Murray Hill, NJ, U.S.A., October 1993).

Google Scholar

[9]

Procopiuc, M., Procopiuc, O. and Rodger, S. H. Visualization and interaction in the computer science formal languages course with jflap. ASEE/IEEE Frontiers in education (FI) Conference (1996) 121--125.

Digital Library

Google Scholar

[10]

Robinson, M., Hamshar, J., Novillo, J., and Duchowski, A. A java-based tool for reasoning about models of computation through simulating finite automata and turing machines. In 30th Annual ACM SIGCSE Symposium (New Orleans, Louisiana, March 1999).

Digital Library

Google Scholar

[11]

Rodger, S. H. Integrating hands-on work into the formal languages course via tools and programming. Workshop on Implementing Automata, Lecture Notes In Computer Science 1260 (1996) 132--148.

Digital Library

Google Scholar

[12]

Rodger, S. H., and Gramond E. Using JFLAP to interact with theorems in automata theory. SIGCSEB: SIGCSE Bulletin 31 (1999) 336--340.

Digital Library

Google Scholar

[13]

Rodger, S. H., and Hung T. Increasing visualization and interaction in the automata theory course. SIGCSEB: SIGCSE Bulletin 32 (2000) 6--10.

Digital Library

Google Scholar

Cited By

View all

Wu WStephenson BStone JBattestilli LRebelsky SShoop L(2024)Learning Big Data Systems via EmulationProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 110.1145/3626252.3630888(1449-1455)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1145/3626252.3630888
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: 1-Jan-2024
https://dl.acm.org/doi/10.1109/TLT.2023.3297626
Jovanović NStamenković SMiljković DChakraborty P(2021)ComVIS—Interactive simulation environment for compiler learningComputer Applications in Engineering Education10.1002/cae.22456Online publication date: Sep-2021
https://doi.org/10.1002/cae.22456
Show More Cited By

Index Terms

Language emulator, a helpful toolkit in the learning process of computer theory
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education

Recommendations

Language emulator, a helpful toolkit in the learning process of computer theory
SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education

Language Emulator, written in Java, is a toolkit to help undergraduate students to understand the concepts of Automata Theory. The software allows the manipulation of regular expressions, regular grammars, deterministic finite automata, nondeterministic ...
The application of formal language theory to the dynamical behavior of cellular automata
Regular Language Representations in the Constructive Type Theory of Coq

We explore the theory of regular language representations in the constructive type theory of Coq. We cover various forms of automata (deterministic, nondeterministic, one-way, two-way), regular expressions, and the logic WS1S. We give translations ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGCSE Bulletin Volume 36, Issue 1

March 2004

501 pages

ISSN:0097-8418

DOI:10.1145/1028174

Issue’s Table of Contents

SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education
March 2004
544 pages
ISBN:1581137982
DOI:10.1145/971300
Conference Chairs:
Dan Joyce
Villanova University
,
Deborah Knox
The College of New Jersey
,
Program Chairs:
Wanda Dann
Ithaca College
,
Tom Naps
University of Wisconsin - Oshkosh

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: 01 March 2004

Published in SIGCSE Volume 36, Issue 1

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
576
Total Downloads

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

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wu WStephenson BStone JBattestilli LRebelsky SShoop L(2024)Learning Big Data Systems via EmulationProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 110.1145/3626252.3630888(1449-1455)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1145/3626252.3630888
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: 1-Jan-2024
https://dl.acm.org/doi/10.1109/TLT.2023.3297626
Jovanović NStamenković SMiljković DChakraborty P(2021)ComVIS—Interactive simulation environment for compiler learningComputer Applications in Engineering Education10.1002/cae.22456Online publication date: Sep-2021
https://doi.org/10.1002/cae.22456
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
Stamenković SJovanović N(2019)Comparative analysis of simulation system for teaching compilersBizinfo Blace10.5937/bizinfo1902001S10:2(1-23)Online publication date: 2019
https://doi.org/10.5937/bizinfo1902001S
Singh TAfreen SChakraborty PRaj RYadav SJain D(2019)Automata Simulator: A mobile app to teach theory of computationComputer Applications in Engineering Education10.1002/cae.2213527:5(1064-1072)Online publication date: 9-Jul-2019
https://doi.org/10.1002/cae.22135
Chakraborty PSaxena PKatti C(2011)Fifty years of automata simulationACM Inroads10.1145/2038876.20388932:4(59-70)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1145/2038876.2038893
Pillay N(2010)Learning difficulties experienced by students in a course on formal languages and automata theoryACM SIGCSE Bulletin10.1145/1709424.170944441:4(48-52)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.1145/1709424.1709444
Pereira CTerra R(2018)A mobile app for teaching formal languages and automataComputer Applications in Engineering Education10.1002/cae.2194426:5(1742-1752)Online publication date: 28-Jun-2018
https://doi.org/10.1002/cae.21944
Chudá DNehéz MČerňanský M(2009)On using of random access machine simulators in teaching of theoretical computer scienceProceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing10.1145/1731740.1731830(1-6)Online publication date: 18-Jun-2009
https://dl.acm.org/doi/10.1145/1731740.1731830
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

Language emulator, a helpful toolkit in the learning process of computer theory

The application of formal language theory to the dynamical behavior of cellular automata

Regular Language Representations in the Constructive Type Theory of Coq