JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar. Click here for more information on what one can do with JFLAP.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Pola, Giordano; Di Benedetto, Maria Domenica; Borri, Alessandro: Symbolic control design of nonlinear systems with outputs (2019)
  2. Rutishauser, Ueli; Slotine, Jean-Jacques; Douglas, Rodney J.: Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks (2018)
  3. Safilian, Aliakbar; Maibaum, Tom; Diskin, Zinovy: A theoretical framework for cardinality-based feature models: the semantics and computational aspects (2018)
  4. Jirásková, Galina; Palmovský, Matúš; Šebej, Juraj: Kleene closure on regular and prefix-free languages (2014)
  5. Linz, Peter: An introduction to formal languages and automata. With CD-ROM (2012)
  6. Ahn, Jae-Hee; Han, Yo-Sub: Implementation of state elimination using heuristics (2009)
  7. Alecha, Mikel; Hermo, Montserrat: A learning algorithm for deterministic finite automata using JFLAP (2009) ioport
  8. Armoni, Michal; Ben-Ari, Mordechai: The concept of nondeterminism: Its development and implications for teaching (2009) MathEduc
  9. Rutishauser, Ueli; Douglas, Rodney J.: State-dependent computation using coupled recurrent networks (2009)
  10. Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Wu, Kang-Nien; Chan, Wen-Chin; Luo, Chi-Jian; Chang, Jinn-Shu: Tool support for learning Büchi automata and linear temporal logic (2009)
  11. Wagenknecht, Christian; Hielscher, Michael: Formal languages, abstract automata and compiler. Text- and Workbook for undergrade courses and advanced training (2009)
  12. Diehl, Stephan (ed.): Software visualization. International seminar Dagstuhl Castle, Germany, May 20--25, 2001. Revised papers (2002)
  13. Kerren, Andreas; Stasko, John T.: Algorithm animation (2002)