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

SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education

Pages 135 - 139

https://doi.org/10.1145/971300.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

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
Rodger SWiebe ELee KMorgan COmar KSu J(2009)Increasing engagement in automata theory with JFLAPACM SIGCSE Bulletin10.1145/1539024.150901141:1(403-407)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1539024.1509011
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

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

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

ACM SIGCSE Bulletin Volume 36, Issue 1
March 2004
501 pages
ISSN:0097-8418
DOI:10.1145/1028174
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: 01 March 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGCSE04

Sponsor:

SIGCSE04: Technical Symposium on Computer Science Education 2004

March 3 - 7, 2004

Virginia, Norfolk, USA

Acceptance Rates

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

Upcoming Conference

SIGCSE TS 2025

Sponsor:
sigcse

The 56th ACM Technical Symposium on Computer Science Education

February 26 - March 1, 2025

Pittsburgh , PA , USA

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

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
Rodger SWiebe ELee KMorgan COmar KSu J(2009)Increasing engagement in automata theory with JFLAPACM SIGCSE Bulletin10.1145/1539024.150901141:1(403-407)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1539024.1509011
Rodger SWiebe ELee KMorgan COmar KSu JFitzgerald SGuzdial MLewandowski GWolfman S(2009)Increasing engagement in automata theory with JFLAPProceedings of the 40th ACM technical symposium on Computer science education10.1145/1508865.1509011(403-407)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1508865.1509011
Chudá DVatchkov PZhechev B(2007)Visualization in education of theoretical computer scienceProceedings of the 2007 international conference on Computer systems and technologies10.1145/1330598.1330687(1-6)Online publication date: 14-Jun-2007
https://dl.acm.org/doi/10.1145/1330598.1330687
Rodger SLim JReading S(2007)Increasing interaction and support in the formal languages and automata theory courseACM SIGCSE Bulletin10.1145/1269900.126880339:3(58-62)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.1145/1269900.1268803
Rodger SLim JReading SHughes JPeiris RTymann P(2007)Increasing interaction and support in the formal languages and automata theory courseProceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education10.1145/1268784.1268803(58-62)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.1145/1268784.1268803
Rodger SBressler BFinley TReading S(2006)Turning automata theory into a hands-on courseACM SIGCSE Bulletin10.1145/1124706.112145938:1(379-383)Online publication date: 3-Mar-2006
https://dl.acm.org/doi/10.1145/1124706.1121459
Rodger SBressler BFinley TReading SBaldwin DTymann PHaller SRussell I(2006)Turning automata theory into a hands-on courseProceedings of the 37th SIGCSE technical symposium on Computer science education10.1145/1121341.1121459(379-383)Online publication date: 3-Mar-2006
https://dl.acm.org/doi/10.1145/1121341.1121459
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
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