{"id":"https://openalex.org/W2004784589","doi":"https://doi.org/10.1145/2462476.2466521","title":"Increasing the experimentation of theoretical computer science with new features in JFLAP","display_name":"Increasing the experimentation of theoretical computer science with new features in JFLAP","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2004784589","doi":"https://doi.org/10.1145/2462476.2466521","mag":"2004784589"},"language":"en","primary_location":{"id":"doi:10.1145/2462476.2466521","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462476.2466521","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM conference on Innovation and technology in computer science education","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030039513","display_name":"Susan H. Rodger","orcid":"https://orcid.org/0000-0002-2524-7718"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Susan H. Rodger","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034194687","display_name":"Julian Z. Genkins","orcid":"https://orcid.org/0000-0001-7673-8827"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Julian Genkins","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054370692","display_name":"Ian McMahon","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ian McMahon","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048259228","display_name":"Peggy Li","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peggy Li","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030039513"],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.13751788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"351","last_page":"351"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9821000099182129,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9772999882698059,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7978076934814453},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7436573505401611},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.7049829363822937},{"id":"https://openalex.org/keywords/regular-grammar","display_name":"Regular grammar","score":0.6509367227554321},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.6447259187698364},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6115356087684631},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.5978023409843445},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5486515164375305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.513454258441925},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.505469799041748},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4859510660171509},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.48341286182403564},{"id":"https://openalex.org/keywords/operator-precedence-grammar","display_name":"Operator-precedence grammar","score":0.4761086404323578},{"id":"https://openalex.org/keywords/grammar-induction","display_name":"Grammar induction","score":0.4703277051448822},{"id":"https://openalex.org/keywords/chomsky-hierarchy","display_name":"Chomsky hierarchy","score":0.4637516140937805},{"id":"https://openalex.org/keywords/formal-grammar","display_name":"Formal grammar","score":0.45840030908584595},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.45448681712150574},{"id":"https://openalex.org/keywords/grammar-systems-theory","display_name":"Grammar systems theory","score":0.453153133392334},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44929563999176025},{"id":"https://openalex.org/keywords/adaptive-grammar","display_name":"Adaptive grammar","score":0.4163001775741577},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2776200473308563},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2339669167995453},{"id":"https://openalex.org/keywords/affix-grammar","display_name":"Affix grammar","score":0.20998752117156982},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15848663449287415},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.15193793177604675},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.0889730453491211},{"id":"https://openalex.org/keywords/emergent-grammar","display_name":"Emergent grammar","score":0.08780625462532043}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7978076934814453},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7436573505401611},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.7049829363822937},{"id":"https://openalex.org/C80191660","wikidata":"https://www.wikidata.org/wiki/Q645527","display_name":"Regular grammar","level":4,"score":0.6509367227554321},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.6447259187698364},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6115356087684631},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.5978023409843445},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5486515164375305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.513454258441925},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.505469799041748},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4859510660171509},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.48341286182403564},{"id":"https://openalex.org/C131232501","wikidata":"https://www.wikidata.org/wiki/Q3113343","display_name":"Operator-precedence grammar","level":4,"score":0.4761086404323578},{"id":"https://openalex.org/C56601403","wikidata":"https://www.wikidata.org/wiki/Q5593673","display_name":"Grammar induction","level":3,"score":0.4703277051448822},{"id":"https://openalex.org/C92273848","wikidata":"https://www.wikidata.org/wiki/Q190913","display_name":"Chomsky hierarchy","level":3,"score":0.4637516140937805},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.45840030908584595},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.45448681712150574},{"id":"https://openalex.org/C500879282","wikidata":"https://www.wikidata.org/wiki/Q5593671","display_name":"Grammar systems theory","level":4,"score":0.453153133392334},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44929563999176025},{"id":"https://openalex.org/C121017423","wikidata":"https://www.wikidata.org/wiki/Q4680743","display_name":"Adaptive grammar","level":5,"score":0.4163001775741577},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2776200473308563},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2339669167995453},{"id":"https://openalex.org/C80364944","wikidata":"https://www.wikidata.org/wiki/Q4689005","display_name":"Affix grammar","level":3,"score":0.20998752117156982},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15848663449287415},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.15193793177604675},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0889730453491211},{"id":"https://openalex.org/C69298649","wikidata":"https://www.wikidata.org/wiki/Q6045214","display_name":"Emergent grammar","level":3,"score":0.08780625462532043},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2462476.2466521","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462476.2466521","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM conference on Innovation and technology in computer science education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2046912551","https://openalex.org/W2149900475","https://openalex.org/W2940776972","https://openalex.org/W1525687837","https://openalex.org/W2368577169","https://openalex.org/W2913286805","https://openalex.org/W1998200283","https://openalex.org/W2391687193","https://openalex.org/W1488613149","https://openalex.org/W2004784589"],"abstract_inverted_index":{"JFLAP":[0,64,97],"is":[1],"an":[2,29],"educational":[3],"software":[4],"tool":[5],"for":[6],"experimenting":[7],"with":[8,75],"several":[9,90],"types":[10],"of":[11,20,39,69,96],"automata,":[12],"grammars":[13],"and":[14,71,85,112],"proofs":[15,72],"related":[16],"to":[17,33,46,53,73],"the":[18,37,42,77],"area":[19],"theoretical":[21],"computer":[22],"science.":[23],"For":[24],"example,":[25],"one":[26,59],"can":[27,60],"create":[28],"NFA,":[30],"convert":[31,44,51],"it":[32,45,52],"a":[34,47,54,66,94,100],"DFA,":[35,43],"minimize":[36],"number":[38,68],"states":[40],"in":[41,93],"regular":[48,55,78],"expression":[49],"or":[50],"grammar.":[56],"Once":[57],"created,":[58],"simulate":[61],"test":[62],"strings.":[63],"includes":[65,99],"large":[67],"topics":[70],"experiment":[74],"from":[76],"languages,":[79,81],"context-free":[80],"recursively":[82],"enumerable":[83],"languages":[84],"l-systems.":[86],"This":[87],"poster":[88],"describes":[89],"new":[91,113],"features":[92],"redesign":[95],"that":[98],"more":[101],"flexible":[102],"grammar":[103],"representation,":[104],"explicit":[105],"formal":[106],"definitions,":[107],"basic":[108],"set":[109],"theory":[110],"tools,":[111],"algorithms.":[114]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}