Using JFLAP to interact with theorems in automata theory
Publication
, Journal Article
Gramond, E; Rodger, SH
Published in: SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
January 1, 1999
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback in CPS 140, our automata theory course. JFLAP is a tool for designing and running nondeterministic versions of finite automata, pushdown automata, and Turing machines. Recently, we have enhanced JFLAP to allow one to study the proofs of several theorems that focus on conversions of languages, from one form to another, such as converting an NFA to a DFA and then to a minimum state DFA. In addition, our enhancements combined with other tools allow one to interactively study LL and LR parsing methods.
Duke Scholars
Published In
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
DOI
ISSN
0097-8418
Publication Date
January 1, 1999
Volume
31
Issue
1
Start / End Page
336 / 340
Related Subject Headings
- Education
Citation
APA
Chicago
ICMJE
MLA
NLM
Gramond, E., & Rodger, S. H. (1999). Using JFLAP to interact with theorems in automata theory. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 31(1), 336–340. https://doi.org/10.1145/384266.299800
Gramond, E., and S. H. Rodger. “Using JFLAP to interact with theorems in automata theory.” SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education) 31, no. 1 (January 1, 1999): 336–40. https://doi.org/10.1145/384266.299800.
Gramond E, Rodger SH. Using JFLAP to interact with theorems in automata theory. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). 1999 Jan 1;31(1):336–40.
Gramond, E., and S. H. Rodger. “Using JFLAP to interact with theorems in automata theory.” SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), vol. 31, no. 1, Jan. 1999, pp. 336–40. Scopus, doi:10.1145/384266.299800.
Gramond E, Rodger SH. Using JFLAP to interact with theorems in automata theory. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). 1999 Jan 1;31(1):336–340.
Published In
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
DOI
ISSN
0097-8418
Publication Date
January 1, 1999
Volume
31
Issue
1
Start / End Page
336 / 340
Related Subject Headings
- Education