{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T02:14:14Z","timestamp":1783304054126,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,10]]},"DOI":"10.1145\/3803400.3809319","type":"proceedings-article","created":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T01:06:55Z","timestamp":1783300015000},"page":"366-372","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ChomskyTrainer: An Interactive Learning Environment for Exercising Chomsky Normal Form Transformations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6685-1877","authenticated-orcid":false,"given":"David","family":"Schmutz","sequence":"first","affiliation":[{"name":"LMU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8367-0936","authenticated-orcid":false,"given":"Jasmin","family":"Blanchette","sequence":"additional","affiliation":[{"name":"LMU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9647-300X","authenticated-orcid":false,"given":"Sven","family":"Strickroth","sequence":"additional","affiliation":[{"name":"LMU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers. Addison Wesley. 1000 pages."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15205-4_11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858498"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(59)90362-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3102\/00346543053004445"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf02299088"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68716-5_57"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3718347"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3102\/003465430298487"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2016.7757692"},{"key":"e_1_3_2_1_11_1","volume-title":"Introduction to automata theory, languages, and computation","author":"Hopcroft John E.","unstructured":"John E. Hopcroft. 2001. Introduction to automata theory, languages, and computation. Addison-Wesley. 521 pages."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2002.0237"},{"key":"e_1_3_2_1_13_1","first-page":"336","article-title":"Comparative analysis of parametric and non-parametric tests","volume":"6","author":"Kaur Amandeep","year":"2015","unstructured":"Amandeep Kaur and Robin Kumar. 2015. Comparative analysis of parametric and non-parametric tests. Journal of computer and mathematical sciences, Vol. 6, 6 (2015), 336-342.","journal-title":"Journal of computer and mathematical sciences"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16415-6_10"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3102\/00346543061002179"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3102\/0034654315581420"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89350-9_6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/ejsp.2752"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352143"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1037\/a0037123"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Philipp Mayring. 2022. Qualitative Inhaltsanalyse (13 ed.). Beltz Verlagsgruppe.","DOI":"10.4135\/9781036231798"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630940"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432398"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/10494820.2018.1558257"},{"key":"e_1_3_2_1_25_1","volume-title":"Feedback strategies for interactive learning tasks","author":"Narciss Susanne","unstructured":"Susanne Narciss. 2008. Feedback strategies for interactive learning tasks. Routledge. 125-144 pages."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/cae.21944"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/fie.1996.569925"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Alexander Renkl. 2012. Guidance-Fading Effect. Springer US 1400\u2013-1402. doi:10.1007\/978-1-4419-1428-6_335","DOI":"10.1007\/978-1-4419-1428-6_335"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508865.1509011"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"David Schmutz. 2026. ChomskyTrainer. doi:10.5281\/zenodo.19509708","DOI":"10.5281\/zenodo.19509708"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.25968\/OPUS-3397"},{"key":"e_1_3_2_1_32_1","volume-title":"Theoretische Informatik - kurz gefasst","author":"Sch\u00f6ning Uwe","unstructured":"Uwe Sch\u00f6ning. 2008. Theoretische Informatik - kurz gefasst (5th ed.). Spektrum Akademischer Verlag, Heidelberg.","edition":"5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1821996.1821997"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1080\/0020739x.2022.2044530"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5220\/0011087700003182"},{"key":"e_1_3_2_1_36_1","volume-title":"Cognitive load theory, learning difficulty, and instructional design. Learning and instruction","author":"Sweller John","year":"1994","unstructured":"John Sweller. 1994. Cognitive load theory, learning difficulty, and instructional design. Learning and instruction, Vol. 4, 4 (1994), 295-312."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.02.026"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"Ingo Wegener. 2005. Theoretische Informatik. ViewegTeubner Verlag. doi:10.1007\/978-3-322-82204-8","DOI":"10.1007\/978-3-322-82204-8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1469-7610.1976.tb00381.x"}],"event":{"name":"ITiCSE 2026: ACM Conference on Innovation and Technology in Computer Science Education","location":"Madrid Spain","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 1"],"original-title":[],"deposited":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T01:16:33Z","timestamp":1783300593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803400.3809319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,9]]},"references-count":39,"alternative-id":["10.1145\/3803400.3809319","10.1145\/3803400"],"URL":"https:\/\/doi.org\/10.1145\/3803400.3809319","relation":{},"subject":[],"published":{"date-parts":[[2026,7,9]]},"assertion":[{"value":"2026-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}