{"id":"https://openalex.org/W4403490674","doi":"https://doi.org/10.1145/3689493.3689978","title":"Using Computation Graphs to Explain Nondeterminism to Students","display_name":"Using Computation Graphs to Explain Nondeterminism to Students","publication_year":2024,"publication_date":"2024-10-17","ids":{"openalex":"https://openalex.org/W4403490674","doi":"https://doi.org/10.1145/3689493.3689978"},"language":"en","primary_location":{"id":"doi:10.1145/3689493.3689978","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689493.3689978","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689493.3689978","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3689493.3689978","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033858416","display_name":"Marco T. Moraz\u00e1n","orcid":"https://orcid.org/0000-0003-4670-6116"},"institutions":[{"id":"https://openalex.org/I12524447","display_name":"Seton Hall University","ror":"https://ror.org/007tn5k56","country_code":"US","type":"education","lineage":["https://openalex.org/I12524447"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marco T. Moraz\u00e1n","raw_affiliation_strings":["Seton Hall University, South Orange, USA"],"raw_orcid":"https://orcid.org/0000-0003-4670-6116","affiliations":[{"raw_affiliation_string":"Seton Hall University, South Orange, USA","institution_ids":["https://openalex.org/I12524447"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5093063073","display_name":"Oliwia Kempinski","orcid":"https://orcid.org/0009-0006-9674-2616"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oliwia Kempinski","raw_affiliation_strings":["University of Maryland, College Park, USA"],"raw_orcid":"https://orcid.org/0009-0006-9674-2616","affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033858416"],"corresponding_institution_ids":["https://openalex.org/I12524447"],"apc_list":null,"apc_paid":null,"fwci":0.7142,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.72012939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10799","display_name":"Data Visualization and Analytics","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T13083","display_name":"Advanced Text Analysis Techniques","score":0.9824000000953674,"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/T11875","display_name":"Statistics Education and Methodologies","score":0.9623000025749207,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.6929352283477783},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6218421459197998},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39145639538764954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29323941469192505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6929352283477783},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6218421459197998},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39145639538764954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29323941469192505}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689493.3689978","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689493.3689978","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689493.3689978","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3689493.3689978","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689493.3689978","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689493.3689978","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403490674.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1163324558","https://openalex.org/W1482318206","https://openalex.org/W1560729591","https://openalex.org/W1582810113","https://openalex.org/W2010117085","https://openalex.org/W2126536832","https://openalex.org/W2141676468","https://openalex.org/W2334129451","https://openalex.org/W2787976344","https://openalex.org/W3008092551","https://openalex.org/W3047890686","https://openalex.org/W3127558385","https://openalex.org/W4229697989","https://openalex.org/W4238387639","https://openalex.org/W4284694504","https://openalex.org/W4389921491","https://openalex.org/W6633724138"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Students":[0],"find":[1,31],"their":[2],"first":[3],"course":[4],"in":[5],"Formal":[6],"Languages":[7],"and":[8,26,59,123,145],"Automata":[9,92],"Theory":[10,93],"challenging.":[11],"Most":[12],"students":[13,30,78,135],"struggle":[14],"to":[15,34,76],"understand":[16,35,79],"nondeterministic":[17,21,38,80],"computation":[18,62,104,111,129],"models":[19],"like":[20],"finite-state":[22],"machines,":[23],"pushdown":[24],"automata,":[25],"Turing":[27],"machines.":[28],"Often,":[29],"it":[32],"difficult":[33],"why":[36],"a":[37,43,61,72],"machine":[39],"accepts":[40],"or":[41],"rejects":[42],"word.":[44],"Furthermore,":[45],"they":[46],"may":[47],"feel":[48],"uncomfortable":[49],"with":[50,60],"there":[51],"being":[52],"multiple":[53],"computations":[54],"on":[55,99],"the":[56,91,100,110,115,118,125,128,141],"same":[57],"input":[58],"not":[63,124],"consuming":[64],"all":[65],"of":[66,103,117,127],"its":[67],"input.":[68],"This":[69],"article":[70],"presents":[71],"visualization":[73,108],"tool":[74,83],"developed":[75],"help":[77],"behavior.":[81],"The":[82,95],"is":[84,97],"integrated":[85],"into":[86],"FSM--a":[87],"domain-specific":[88],"language":[89],"for":[90],"classroom.":[94],"strategy":[96],"based":[98],"automatic":[101],"generation":[102],"graphs.":[105],"Unlike":[106],"previous":[107],"tools,":[109],"graphs":[112],"generated":[113],"reflect":[114],"structure":[116,126],"given":[119],"machine's":[120],"transition":[121],"diagram":[122],"tree.":[130],"Empirical":[131],"data":[132],"collected":[133],"from":[134],"at":[136],"two":[137],"universities":[138],"suggests":[139],"that":[140],"visualizations":[142],"are":[143],"well-received":[144],"useful.":[146]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}