{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:02:47Z","timestamp":1755219767278,"version":"3.43.0"},"reference-count":39,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.424.1","type":"journal-article","created":{"date-parts":[[2025,8,4]],"date-time":"2025-08-04T11:17:52Z","timestamp":1754306272000},"page":"1-24","source":"Crossref","is-referenced-by-count":0,"title":["Design Support for Multitape Turing Machines"],"prefix":"10.4204","volume":"424","author":[{"given":"Marco T.","family":"Moraz\u00e1n","sequence":"first","affiliation":[{"name":"Seton Hall University"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Oliwia","family":"Kempinski","sequence":"additional","affiliation":[{"name":"University of Maryland"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Andr\u00e9s M.","family":"Garced","sequence":"additional","affiliation":[{"name":"Seton Hall University"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"issue":"2","key":"Chomsky","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","article-title":"On Certain Formal Properties of Grammars","volume":"2","author":"Chomsky","year":"1959","journal-title":"Information and Control"},{"key":"Gidayu","series-title":"ITiCSE '22","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524742","article-title":"Gidayu: Visualizing Automaton and Their Computations","volume-title":"Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1","author":"Cogumbreiro","year":"2022"},{"issue":"2","key":"DAntoni2","doi-asserted-by":"publisher","DOI":"10.1145\/2723163","article-title":"How Can Automatic Feedback Help Students Construct Automata?","volume":"22","author":"D'antoni","year":"2015","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"fsm-errors2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-031-74558-4_9","article-title":"Error Messages for Students Taught Using a Systematic Program Design Curriculum","volume-title":"Trends in Functional Programming - 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers","volume":"14843","author":"Dzhatdoyev","year":"2024"},{"key":"DAntoni","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_1","article-title":"Automata Tutor v3","volume-title":"Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21\u201324, 2020, Proceedings, Part II","author":"D\u2019Antoni","year":"2020"},{"volume-title":"How to Design Programs: An Introduction to Programming and Computing","year":"2018","author":"Felleisen","key":"HtDP2"},{"issue":"11","key":"gviz1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","article-title":"An Open Graph Visualization System and Its Applications to Software Engineering","volume":"30","author":"Gansner","year":"2000","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"gviz2","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/32.221135","article-title":"A technique for drawing directed graphs","volume":"19","author":"Gansner","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"Greibach","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/321250.321254","article-title":"A New Normal-Form Theorem for Context-Free Phrase Structure Grammars","volume":"12","author":"Greibach","year":"1965","journal-title":"J. ACM"},{"volume-title":"Visible Learning: A Synthesis of Over 800 Meta-Analyses Relating to Achievement","year":"2009","author":"Hattie","key":"Haitte"},{"issue":"3","key":"Hegarty","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.learninstruc.2004.06.007","article-title":"Dynamic Visualizations and Learning: Getting to the Difficult Questions","volume":"14","author":"Hegarty","year":"2004","journal-title":"Learning and Instruction"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation (3rd Edition)","year":"2006","author":"Hopcroft","key":"Hopcroft"},{"issue":"4","key":"Hutchins","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci0104_2","article-title":"Direct Manipulation Interfaces","volume":"1","author":"Hutchins","year":"1985","journal-title":"Hum.-Comput. Interact."},{"key":"kaufmann","series-title":"Lecture Notes in Computer Science","volume-title":"Drawing Graphs: Methods and Models","volume":"2025","year":"2001"},{"key":"Kruja","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45848-4_22","article-title":"A Short Note on the History of Graph Drawing","volume-title":"International Symposium on Graph Drawing (GD)","author":"Kruja","year":"2001"},{"key":"Lewis","doi-asserted-by":"publisher","DOI":"10.1145\/300307.1040360","volume-title":"Elements of the Theory of Computation","author":"Lewis","year":"1997"},{"key":"Likert","first-page":"1","article-title":"A Technique for the Measurement of Attitudes","volume":"140","author":"Likert","year":"1932","journal-title":"Archives of Psychology"},{"volume-title":"An Introduction to Formal Languages and Automata","year":"2011","author":"Linz","key":"Linz"},{"key":"drecipe","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000059","article-title":"Infusing an HtDP-based CS1 with Distributed Programming Using Functional Video Games","volume":"28","author":"Moraz\u00e1n","year":"2018","journal-title":"Journal of Functional Programming"},{"key":"APS","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85091-3","volume-title":"Animated Problem Solving - An Introduction to Program Design Using Video Game Development","author":"Moraz\u00e1n","year":"2022"},{"key":"APD","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04317-8","volume-title":"Animated Program Design - Intermediate Program Design Using Video Game Development","author":"Moraz\u00e1n","year":"2022"},{"key":"PBFLAT","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-43973-5","volume-title":"Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove","author":"Moraz\u00e1n","year":"2024"},{"key":"fsm","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4204\/EPTCS.170.2","article-title":"Functional Automata - Formal Languages for Computer Science Students","volume-title":"Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014","volume":"170","author":"Moraz\u00e1n","year":"2014"},{"key":"fsm-cmpgraphs","series-title":"SPLASH-E '24","doi-asserted-by":"publisher","DOI":"10.1145\/3689493.3689978","article-title":"Using Computation Graphs to Explain Nondeterminism to Students","volume-title":"Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E","author":"Moraz\u00e1n","year":"2024"},{"key":"fsm-errors","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/EPTCS.295.1","article-title":"FSM Error Messages","volume-title":"Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018","volume":"295","author":"Moraz\u00e1n","year":"2018"},{"key":"fsm-viz","doi-asserted-by":"publisher","first-page":"55","DOI":"10.4204\/eptcs.321.4","article-title":"Visual Designing and Debugging of Deterministic Finite-State Machines in FSM","volume":"321","author":"Moraz\u00e1n","year":"2020","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"Parker","series-title":"ICER '18","doi-asserted-by":"publisher","DOI":"10.1145\/3230977.3230987","article-title":"Socioeconomic Status and Computer Science Achievement: Spatial Ability as a Mediating Variable in a Novel Model of Understanding","volume-title":"Proceedings of the 2018 ACM Conference on International Computing Education Research","author":"Parker","year":"2018"},{"volume-title":"Automata, Computability and Complexity: Theory and Applications","year":"2019","author":"Rich","key":"Rich"},{"issue":"1","key":"Roberts","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3758\/s13423-020-01804-w","article-title":"Drawing and Memory: Using Visual Production to Alleviate Concreteness Effects","volume":"28","author":"Roberts","year":"2020","journal-title":"Psychonomic Bulletin & Review"},{"volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","year":"2006","author":"Rodger","key":"Rodger"},{"key":"RodgerII","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/1121341.1121459","article-title":"Turning automata theory into a hands-on course","volume-title":"Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006","author":"Rodger","year":"2006"},{"key":"RodgerIII","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/1508865.1509011","article-title":"Increasing engagement in automata theory with JFLAP","volume-title":"Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009","author":"Rodger","year":"2009"},{"volume-title":"Introduction to the Theory of Computation","year":"2013","author":"Sipser","key":"Sipser"},{"issue":"3","key":"Sirin","doi-asserted-by":"publisher","DOI":"10.3102\/00346543075003417","article-title":"Socioeconomic Status and Academic Achievement: A Meta-Analytic Review of Research","volume":"75","author":"Sirin","year":"2005","journal-title":"Review of Educational Research"},{"key":"Sweller","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1022193728205","article-title":"Cognitive Architecture and Instructional Design","volume":"10","author":"Sweller","year":"1998","journal-title":"Educational Psychology Review"},{"key":"Venables","series-title":"ACE '03","doi-asserted-by":"publisher","DOI":"10.5555\/858403.858436","article-title":"Programming Students NEED Instant Feedback!","volume-title":"Proceedings of the Fifth Australasian Conference on Computing Education - Volume 20","author":"Venables","year":"2003"},{"issue":"6","key":"Wammes","doi-asserted-by":"publisher","first-page":"2365","DOI":"10.3758\/s13423-018-1477-y","article-title":"Task Preparation as a Mnemonic: The Benefits of Drawing (and not Drawing)","volume":"25","author":"Wammes","year":"2018","journal-title":"Psychonomic Bulletin & Review"},{"volume-title":"RackUnit: Unit Testing","year":"2024","author":"Welsh","key":"RackUnit"},{"issue":"3","key":"White2","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1037\/0033-2909.91.3.461","article-title":"The Relation Between Socioeconomic Status and Academic Achievement","volume":"91","author":"White","year":"1982","journal-title":"Psychological Bulletin,"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T08:15:34Z","timestamp":1754554534000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2508.03638v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.4204\/eptcs.424.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,8,6]]}}}