## Using JFLAP to interact with theorems in automata theory

Publication
, Conference

Gramond, E; Rodger, SH

Published in: SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education

March 24, 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 enhancementsc ombined with other tools allow one to interactively study LL and LR parsing methods.

### Duke Scholars

## Published In

SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education

## Publication Date

March 24, 1999

## Start / End Page

336 / 340

### Citation

APA

Chicago

ICMJE

MLA

NLM

Gramond, E., & Rodger, S. H. (1999). Using JFLAP to interact with theorems in automata theory. In

*SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education*(pp. 336–340).Gramond, E., and S. H. Rodger. “Using JFLAP to interact with theorems in automata theory.” In

*SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education*, 336–40, 1999.Gramond E, Rodger SH. Using JFLAP to interact with theorems in automata theory. In: SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education. 1999. p. 336–40.

Gramond, E., and S. H. Rodger. “Using JFLAP to interact with theorems in automata theory.”

*SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education*, 1999, pp. 336–40.Gramond E, Rodger SH. Using JFLAP to interact with theorems in automata theory. SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education. 1999. p. 336–340.

## Published In

SIGCSE 1999 - Proceedings of the 13th SIGCSE Technical Symposium on Computer Science Education

## Publication Date

March 24, 1999

## Start / End Page

336 / 340