{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T15:56:23Z","timestamp":1765209383529,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3724363.3729120","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T08:57:23Z","timestamp":1750150643000},"page":"166-172","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Visualizing Construction Algorithms for Closure Properties of Regular Languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3344-383X","authenticated-orcid":false,"given":"Tijana","family":"Mini\u0107","sequence":"first","affiliation":[{"name":"Computer Science Department, University of Washington, Seattle, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4670-6116","authenticated-orcid":false,"given":"Marco T.","family":"Moraz\u00e1n","sequence":"additional","affiliation":[{"name":"Computer Science Department, Seton Hall University, South Orange, NJ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4416-4616","authenticated-orcid":false,"given":"Andr\u00e9s M.","family":"Garced","sequence":"additional","affiliation":[{"name":"Seton Hall University, South Orange, NJ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1816-7951","authenticated-orcid":false,"given":"David Anthony K.","family":"Fields","sequence":"additional","affiliation":[{"name":"Seton Hall University, South Orange, NJ, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Robert Bruce Findler, and PLT","author":"Flatt Matthew","year":"2025","unstructured":"Matthew Flatt, Robert Bruce Findler, and PLT. 2025. The Racket Guide. PLT. https:\/\/docs.racket-lang.org\/guide\/ last accessed 2025-03-03."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.221135"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11"},{"volume-title":"An Introduction to the Theory of Computation","author":"Gurari Eitan M.","key":"e_1_3_2_1_4_1","unstructured":"Eitan M. Gurari. 1989. An Introduction to the Theory of Computation. Computer Science Press, Rockville, MD."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.learninstruc.2004.06.007"},{"key":"e_1_3_2_1_6_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2006","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci0104_2"},{"key":"e_1_3_2_1_8_1","volume-title":"Combining Automata. https:\/\/www.jflap.org\/modules\/. Last accessed","author":"JFLAP.","year":"2024","unstructured":"JFLAP. 2016. Combining Automata. https:\/\/www.jflap.org\/modules\/. Last accessed: March 14, 2024."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/300307.1040360"},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"A Technique for the Measurement of Attitudes","volume":"140","author":"Likert Rensis","year":"1932","unstructured":"Rensis Likert. 1932. A Technique for the Measurement of Attitudes. Archives of Psychology, Vol. 140 (1932), 1--55.","journal-title":"Archives of Psychology"},{"key":"e_1_3_2_1_11_1","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz Peter","unstructured":"Peter Linz. 2011. An Introduction to Formal Languages and Automata 5th ed.). Jones and Bartlett Publishers, Inc., USA.","edition":"5"},{"key":"e_1_3_2_1_12_1","volume-title":"Rodger","author":"Linz Peter","year":"2023","unstructured":"Peter Linz and Susan H. Rodger. 2023. An Introduction to Formal Languages and Automata seventh ed.). Jones & Bartlett Learning, Burlington, MA."},{"volume-title":"Introduction to Languages and the Theory of Computation 3 ed.)","author":"Martin John C.","key":"e_1_3_2_1_13_1","unstructured":"John C. Martin. 2003. Introduction to Languages and the Theory of Computation 3 ed.). McGraw-Hill, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622780.3623647"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-43973-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.170.2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653641"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689493.3689979"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.321.4"},{"volume-title":"Automata, Computability and Complexity: Theory and Applications","author":"Rich Elaine","key":"e_1_3_2_1_20_1","unstructured":"Elaine Rich. 2019. Automata, Computability and Complexity: Theory and Applications. Pearson Prentice Hall, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_21_1","volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","author":"Rodger Susan H.","year":"2006","unstructured":"Susan H. Rodger. 2006. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, Inc., USA."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121459"},{"key":"e_1_3_2_1_23_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","unstructured":"Michael Sipser. 2013. Introduction to the Theory of Computation (3rd ed.). Cengage Learning, USA.","edition":"3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022193728205"}],"event":{"name":"ITiCSE 2025: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Nijmegen Netherlands","acronym":"ITiCSE 2025"},"container-title":["Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3724363.3729120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T15:22:12Z","timestamp":1765207332000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3724363.3729120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":24,"alternative-id":["10.1145\/3724363.3729120","10.1145\/3724363"],"URL":"https:\/\/doi.org\/10.1145\/3724363.3729120","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}