{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:39Z","timestamp":1772163999613,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,4]]},"DOI":"10.1145\/1508865.1509011","type":"proceedings-article","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T11:06:03Z","timestamp":1236078363000},"page":"403-407","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Increasing engagement in automata theory with JFLAP"],"prefix":"10.1145","author":[{"given":"Susan H.","family":"Rodger","sequence":"first","affiliation":[{"name":"Duke University, Durham, NC, USA"}]},{"given":"Eric","family":"Wiebe","sequence":"additional","affiliation":[{"name":"NC State University, Raleigh, NC, USA"}]},{"given":"Kyung Min","family":"Lee","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}]},{"given":"Chris","family":"Morgan","sequence":"additional","affiliation":[{"name":"Georgia Tech, Atlanta, GA, USA"}]},{"given":"Kareem","family":"Omar","sequence":"additional","affiliation":[{"name":"NC State University, Raleigh, NC, USA"}]},{"given":"Jonathan","family":"Su","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1124772.1124889"},{"key":"e_1_3_2_1_2_1","volume-title":"Turing's World 3.0 for the Macintosh. CSLI","author":"Barwise J.","year":"1993","unstructured":"J. Barwise and J. Etchemendy . Turing's World 3.0 for the Macintosh. CSLI , Cambridge University Press , 1993 . J. Barwise and J. Etchemendy. Turing's World 3.0 for the Macintosh. CSLI, Cambridge University Press, 1993."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/268819.268827"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1227310.1227462"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.56"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141904.1141909"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1992.275787"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611958"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2002.0237"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352143"},{"key":"e_1_3_2_1_12_1","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz P.","year":"2006","unstructured":"P. Linz . An Introduction to Formal Languages and Automata , 4 th Edition. Jones and Bartlett , Sudbury, MA , 2006 . P. Linz. An Introduction to Formal Languages and Automata, 4th Edition. Jones and Bartlett, Sudbury, MA, 2006.","edition":"4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.2005.110"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/960568.782998"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/971118"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1268784.1268803"},{"key":"e_1_3_2_1_17_1","volume-title":"Jflap web site","author":"Rodger S. H.","year":"2008","unstructured":"S. H. Rodger . Jflap web site , 2008 . www.jflap.org. S. H. Rodger. Jflap web site, 2008. www.jflap.org."},{"key":"e_1_3_2_1_18_1","volume-title":"Jones and Bartlett","author":"Rodger S. H.","year":"2006","unstructured":"S. H. Rodger and T. W. Finley . JFLAP -- An Interactive Formal Languages and Automata Package . Jones and Bartlett , Sudbury, MA , 2006 . S. H. Rodger and T. W. Finley. JFLAP -- An Interactive Formal Languages and Automata Package. Jones and Bartlett, Sudbury, MA, 2006."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364541"},{"key":"e_1_3_2_1_20_1","unstructured":"S. Skiena. Implementing Discrete Mathematics. Addison Wesley Redwood City CA 1990.   S. Skiena. Implementing Discrete Mathematics. Addison Wesley Redwood City CA 1990."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.58216"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/268084.268091"},{"key":"e_1_3_2_1_23_1","first-page":"419","volume-title":"Software Visualization","author":"Stasko J.","year":"1998","unstructured":"J. Stasko and A. Lawrence . Empirically assessing algorithm animations as learning aids . In Software Visualization , pages 419 -- 438 . MIT Press , 1998 . J. Stasko and A. Lawrence. Empirically assessing algorithm animations as learning aids. In Software Visualization, pages 419--438. MIT Press, 1998."},{"key":"e_1_3_2_1_24_1","first-page":"566","volume-title":"Thirty-sixth SIGCSE Technical Symposium on Computer Science Education","author":"Stoughton A.","unstructured":"A. Stoughton . Experimenting with formal languages . In Thirty-sixth SIGCSE Technical Symposium on Computer Science Education , page 566 . SIGCSE, February 2005. A. Stoughton. Experimenting with formal languages. In Thirty-sixth SIGCSE Technical Symposium on Computer Science Education, page 566. SIGCSE, February 2005."},{"key":"e_1_3_2_1_25_1","volume-title":"Oxford University Press","author":"Taylor R.","year":"1998","unstructured":"R. Taylor . Models of Computation and Formal Languages . Oxford University Press , New York , 1998 . R. Taylor. Models of Computation and Formal Languages. Oxford University Press, New York, 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971348"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121460"}],"event":{"name":"SIGCSE09: The 40th ACM Technical Symposium on Computer Science Education","location":"Chattanooga TN USA","acronym":"SIGCSE09","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 40th ACM technical symposium on Computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1508865.1509011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1508865.1509011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:45Z","timestamp":1750238985000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1508865.1509011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,4]]},"references-count":26,"alternative-id":["10.1145\/1508865.1509011","10.1145\/1508865"],"URL":"https:\/\/doi.org\/10.1145\/1508865.1509011","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1539024.1509011","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,3,4]]},"assertion":[{"value":"2009-03-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}