{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T21:01:13Z","timestamp":1754600473621,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,7]]},"DOI":"10.1145\/3502718.3524742","type":"proceedings-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T10:28:30Z","timestamp":1657189710000},"page":"110-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Gidayu"],"prefix":"10.1145","author":[{"given":"Tiago","family":"Cogumbreiro","sequence":"first","affiliation":[{"name":"University of Massachusetts Boston, Boston, MA, USA"}]},{"given":"Gregory","family":"Blike","sequence":"additional","affiliation":[{"name":"University of Massachusetts Boston, Boston, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"volume-title":"Proceedings of CIAA","author":"Almeida Andr\u00e9","key":"e_1_3_2_1_1_1","unstructured":"Andr\u00e9 Almeida , Marco Almeida , Jos\u00e9 Alves , Nelma Moreira , and Rog\u00e9rio Reis . 2009. FAdo and GUItar: Tools for Automata Manipulation and Visualization . In Proceedings of CIAA , Sebastian Maneth (Ed.). Springer , 65--74. https:\/\/doi.org\/10.1007\/978--3--642-02979-0_10 10.1007\/978--3--642-02979-0_10 Andr\u00e9 Almeida, Marco Almeida, Jos\u00e9 Alves, Nelma Moreira, and Rog\u00e9rio Reis. 2009. FAdo and GUItar: Tools for Automata Manipulation and Visualization. In Proceedings of CIAA, Sebastian Maneth (Ed.). Springer, 65--74. https:\/\/doi.org\/10.1007\/978--3--642-02979-0_10"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80125-3"},{"key":"#cr-split#-e_1_3_2_1_3_1.1","unstructured":"Tiago Cogumbreiro and Greg Blike. 2022. Gidayu source code snapshot. https:\/\/doi.org\/10.6084\/m9.figshare.19660689.v1 Project repository available at: https:\/\/gitlab.com\/umb-svl\/gidayu. 10.6084\/m9.figshare.19660689.v1"},{"key":"#cr-split#-e_1_3_2_1_3_1.2","doi-asserted-by":"crossref","unstructured":"Tiago Cogumbreiro and Greg Blike. 2022. Gidayu source code snapshot. https:\/\/doi.org\/10.6084\/m9.figshare.19660689.v1 Project repository available at: https:\/\/gitlab.com\/umb-svl\/gidayu.","DOI":"10.1145\/3502718.3524742"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11858-006-0005-0"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of SIGCSE. ACM, 6--10","author":"Hung Ted","year":"1800","unstructured":"Ted Hung and Susan H. Rodger . 2000. Increasing Visualization and Interaction in the Automata Theory Course . In Proceedings of SIGCSE. ACM, 6--10 . https:\/\/doi.org\/10.1145\/330908.33 1800 10.1145\/330908.331800 Ted Hung and Susan H. Rodger. 2000. Increasing Visualization and Interaction in the Automata Theory Course. In Proceedings of SIGCSE. ACM, 6--10. https:\/\/doi.org\/10.1145\/330908.331800"},{"key":"#cr-split#-e_1_3_2_1_6_1.1","doi-asserted-by":"crossref","unstructured":"Association for Computing Machinery (ACM) Joint Task Force on Comput-ing Curricula and IEEE Computer Society. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. ACM. https:\/\/doi.org\/10.1145\/2534860 10.1145\/2534860","DOI":"10.1145\/2534860"},{"key":"#cr-split#-e_1_3_2_1_6_1.2","doi-asserted-by":"crossref","unstructured":"Association for Computing Machinery (ACM) Joint Task Force on Comput-ing Curricula and IEEE Computer Society. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. ACM. https:\/\/doi.org\/10.1145\/2534860","DOI":"10.1145\/2534860"},{"key":"e_1_3_2_1_7_1","unstructured":"Lewi Lie Uberg. 2021. Visual Automata. https:\/\/github.com\/lewiuberg\/visual-automata  Lewi Lie Uberg. 2021. Visual Automata. https:\/\/github.com\/lewiuberg\/visual-automata"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376253"},{"volume-title":"Proceedings of the 52nd ACM Technical Symposium on Computer Science Education","author":"Mohammed Mostafa","key":"e_1_3_2_1_9_1","unstructured":"Mostafa Mohammed , Clifford A. Shaffer , and Susan H. Rodger . 2021. Teaching Formal Languages with Visualizations and Auto-Graded Exercises . In Proceedings of the 52nd ACM Technical Symposium on Computer Science Education ( Virtual Event, USA) (SIGCSE '21). Association for Computing Machinery, New York, NY, USA, 569--575. https:\/\/doi.org\/10.1145\/3408877.3432398 10.1145\/3408877.3432398 Mostafa Mohammed, Clifford A. Shaffer, and Susan H. Rodger. 2021. Teaching Formal Languages with Visualizations and Auto-Graded Exercises. In Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (Virtual Event, USA) (SIGCSE '21). Association for Computing Machinery, New York, NY, USA, 569--575. https:\/\/doi.org\/10.1145\/3408877.3432398"},{"key":"e_1_3_2_1_10_1","unstructured":"Anders M\u00f8ller. 2021. dk.brics.automaton: Finite-State Automata and Regular Expressions for Java. http:\/\/www.brics.dk\/automaton\/.  Anders M\u00f8ller. 2021. dk.brics.automaton: Finite-State Automata and Regular Expressions for Java. http:\/\/www.brics.dk\/automaton\/."},{"key":"e_1_3_2_1_11_1","volume-title":"Jinja: A a full featured template engine for Python. https:\/\/web.archive.org\/web\/20211206222815\/https:\/\/palletsprojects.com\/p\/jinja\/. Accessed December.","author":"The Pallets","year":"2021","unstructured":"The Pallets organization. 2021 . Jinja: A a full featured template engine for Python. https:\/\/web.archive.org\/web\/20211206222815\/https:\/\/palletsprojects.com\/p\/jinja\/. Accessed December. The Pallets organization. 2021. Jinja: A a full featured template engine for Python. https:\/\/web.archive.org\/web\/20211206222815\/https:\/\/palletsprojects.com\/p\/jinja\/. Accessed December."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1023"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3115\/1620950.1620955"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of SIGCSE. ACM, 379--383","author":"Rodger Susan H.","year":"2006","unstructured":"Susan H. Rodger , Bart Bressler , Thomas Finley , and Stephen Reading . 2006 . Turn-ing Automata Theory into a Hands-on Course . In Proceedings of SIGCSE. ACM, 379--383 . https:\/\/doi.org\/10.1145\/1121341.1121459 10.1145\/1121341.1121459 Susan H. Rodger, Bart Bressler, Thomas Finley, and Stephen Reading. 2006. Turn-ing Automata Theory into a Hands-on Course. In Proceedings of SIGCSE. ACM, 379--383. https:\/\/doi.org\/10.1145\/1121341.1121459"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432464"},{"key":"e_1_3_2_1_16_1","unstructured":"Michael Sipser. 2012. Introduction to the theory of computation. Cengage Learning.  Michael Sipser. 2012. Introduction to the theory of computation. Cengage Learning."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411260.1411267"},{"key":"e_1_3_2_1_18_1","volume-title":"Symbolic Automata: The Toolkit. In Proceedings of TACAS, Cormac Flanagan and Barbara K\u00f6nig (Eds.)","author":"Veanes Margus","year":"2012","unstructured":"Margus Veanes and Nikolaj Bj\u00f8rner . 2012 . Symbolic Automata: The Toolkit. In Proceedings of TACAS, Cormac Flanagan and Barbara K\u00f6nig (Eds.) . Springer , 472--477. https:\/\/doi.org\/10.1007\/978--3--642--28756--5_33 10.1007\/978--3--642--28756--5_33 Margus Veanes and Nikolaj Bj\u00f8rner. 2012. Symbolic Automata: The Toolkit. In Proceedings of TACAS, Cormac Flanagan and Barbara K\u00f6nig (Eds.). Springer, 472--477. https:\/\/doi.org\/10.1007\/978--3--642--28756--5_33"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392375"}],"event":{"name":"ITiCSE 2022: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Dublin Ireland","acronym":"ITiCSE 2022"},"container-title":["Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524742","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502718.3524742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:46Z","timestamp":1750183786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524742"}},"subtitle":["Visualizing Automaton and Their Computations"],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":21,"alternative-id":["10.1145\/3502718.3524742","10.1145\/3502718"],"URL":"https:\/\/doi.org\/10.1145\/3502718.3524742","relation":{},"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"2022-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}