{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:23:56Z","timestamp":1764361436223,"version":"3.46.0"},"publisher-location":"Cham","reference-count":69,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031997501"},{"type":"electronic","value":"9783031997518"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99751-8_21","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T01:17:01Z","timestamp":1759281421000},"page":"485-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course"],"prefix":"10.1007","author":[{"given":"Marco T.","family":"Moraz\u00e1n","sequence":"first","affiliation":[]},{"given":"Tijana","family":"Mini\u0107","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9s M.","family":"Garced","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-54444-5_83","volume-title":"Programming Language Implementation and Logic Programming","author":"AW Appel","year":"1991","unstructured":"Appel, A.W., MacQueen, D.B.: Standard ML of New Jersey. In: Maluszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol. 528, pp. 1\u201313. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54444-5_83"},{"issue":"1","key":"21_CR2","doi-asserted-by":"publisher","first-page":"370","DOI":"10.2307\/2275002","volume":"55","author":"J Barwise","year":"1990","unstructured":"Barwise, J., Etchemendy, J.: Turing\u2019s World. J. Symb. Log. 55(1), 370\u2013371 (1990). https:\/\/doi.org\/10.2307\/2275002","journal-title":"J. Symb. Log."},{"key":"21_CR3","doi-asserted-by":"publisher","unstructured":"Ben-Ari, M.: Constructivism in computer science education. In: Proceedings of the Twenty-Ninth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, pp. 257\u2013261. Association for Computing Machinery, New York (1998). https:\/\/doi.org\/10.1145\/273133.274308","DOI":"10.1145\/273133.274308"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/TE.2008.917197","volume":"52","author":"JJ Castro-Schez","year":"2009","unstructured":"Castro-Schez, J.J., del Castillo, E., Hortolano, J., Rodriguez, A.: Designing and using software tools for educational purposes: FLAT, a case study. IEEE Trans. Educ. 52(1), 66\u201374 (2009). https:\/\/doi.org\/10.1109\/TE.2008.917197","journal-title":"IEEE Trans. Educ."},{"key":"21_CR5","doi-asserted-by":"publisher","unstructured":"Ches\u00f1evar, C.I., Gonz\u00e1lez, M.P., Maguitman, A.G.: Didactic strategies for promoting significant learning in formal languages and automata theory. In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, pp. 7\u201311. Association for Computing Machinery, New York (2004). https:\/\/doi.org\/10.1145\/1007996.1008002","DOI":"10.1145\/1007996.1008002"},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/782941.782975","volume":"35","author":"CI Ches\u00f1evar","year":"2003","unstructured":"Ches\u00f1evar, C.I., Cobo, M.L., Yurcik, W.: Using theoretical computer simulators for formal languages and automata theory. ACM SIGCSE Bull. 35(2), 33\u201337 (2003). https:\/\/doi.org\/10.1145\/782941.782975","journal-title":"ACM SIGCSE Bull."},{"key":"21_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssresearch.2023.102853","volume":"111","author":"MA Christensen","year":"2023","unstructured":"Christensen, M.A.: Tracing the gender confidence gap in computing: a cross-national meta-analysis of gender differences in self-assessed technological ability. Soc. Sci. Res. 111, 102853 (2023). https:\/\/doi.org\/10.1016\/j.ssresearch.2023.102853","journal-title":"Soc. Sci. Res."},{"key":"21_CR8","doi-asserted-by":"publisher","unstructured":"Chua, Y.S., Winton, C.N.: Teaching theory of computation at the junior level. In: Proceedings of the International Conference on APL: APL in Transition, APL 1987, pp. 69\u201378. Association for Computing Machinery, New York (1987). https:\/\/doi.org\/10.1145\/28315.28324","DOI":"10.1145\/28315.28324"},{"key":"21_CR9","unstructured":"Du, J., Wimmer, H.: Hour of code: a study of gender differences in computing. Inf. Syst. Educ. J. 17 (2019)"},{"key":"21_CR10","doi-asserted-by":"publisher","unstructured":"Dzhatdoyev, S., Rosiers, J.A.D., Moraz\u00e1n, M.T.: Error messages for students taught using a systematic program design curriculum. In: Hemann, J., Chang, S. (eds.) Trends in Functional Programming - 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10\u201312, 2024, Revised Selected Papers. Lecture Notes in Computer Science, vol. 14843, pp. 195\u2013219. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-74558-4_9","DOI":"10.1007\/978-3-031-74558-4_9"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-53291-8_1","volume-title":"Computer Aided Verification","author":"L D\u2019Antoni","year":"2020","unstructured":"D\u2019Antoni, L., Helfrich, M., Kretinsky, J., Ramneantu, E., Weininger, M.: Automata tutor v3. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 3\u201314. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_1"},{"key":"21_CR12","unstructured":"Estrebou, F.C., Lanza, M., Mauco, V., Barbuzza, R., Favre, L.: Minerva: Una Herramienta para un Curso de Lenguajes Formales y Aut\u00f3matas. https:\/\/www.researchgate.net\/publication\/266384889_Minerva_Una_Herramienta_para_un_Curso_de_Lenguajes_Formales_y_Automatas (2002), last accessed: March 2025"},{"key":"21_CR13","volume-title":"How to Design Programs: An Introduction to Programming and Computing","author":"M Felleisen","year":"2018","unstructured":"Felleisen, M., Findler, R.B., Flatt, M., Krishnamurthi, S.: How to Design Programs: An Introduction to Programming and Computing, 2nd edn. MIT Press, Cambridge (2018)","edition":"2"},{"issue":"2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/543812.543836","volume":"34","author":"A Fisher","year":"2002","unstructured":"Fisher, A., Margolis, J.: Unlocking the clubhouse: the Carnegie Mellon experience. SIGCSE Bull. 34(2), 79\u201383 (2002). https:\/\/doi.org\/10.1145\/543812.543836","journal-title":"SIGCSE Bull."},{"key":"21_CR15","doi-asserted-by":"publisher","unstructured":"Fisher, A., Margolis, J., Miller, F.: Undergraduate women in computer science: experience, motivation and culture. SIGCSE Bull. 29(1), 106\u2013110 (1997). https:\/\/doi.org\/10.1145\/268085.268127","DOI":"10.1145\/268085.268127"},{"key":"21_CR16","unstructured":"Flatt, M., Findler, R.B., PLT: The Racket Guide. PLT (2024). https:\/\/docs.racket-lang.org\/guide\/. Accessed Mar 2025"},{"key":"21_CR17","doi-asserted-by":"publisher","unstructured":"Garc\u00eda-Osorio, C., Mediavilla-S\u00e1iz, I.n., Jimeno-Visitaci\u00f3n, J., Garc\u00eda-Pedrajas, N.: Teaching push-down automata and Turing machines. In: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, pp.\u00a0316. Association for Computing Machinery, New York (2008). https:\/\/doi.org\/10.1145\/1384271.1384359","DOI":"10.1145\/1384271.1384359"},{"issue":"10","key":"21_CR18","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"key":"21_CR19","unstructured":"Hoare, C., Jifeng, H.: Unifying Theories of Programming. Prentice Hall Series in Computer Science, Prentice Hall, Hoboken (1998)"},{"key":"21_CR20","doi-asserted-by":"publisher","unstructured":"Kemp, P.E.J., Wong, B., Berry, M.G.: Female performance and participation in computer science: a national picture. ACM Trans. Comput. Educ. 20(1) (2019). https:\/\/doi.org\/10.1145\/3366016","DOI":"10.1145\/3366016"},{"issue":"2","key":"21_CR21","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"DE Knuth","year":"1977","unstructured":"Knuth, D.E., Morris, J.H., Jr., Pratt, V.R.: Fast pattern matching in strings. SIAM J. Comput. 6(2), 323\u2013350 (1977). https:\/\/doi.org\/10.1137\/0206024","journal-title":"SIAM J. Comput."},{"key":"21_CR22","doi-asserted-by":"publisher","unstructured":"Korte, L., Anderson, S., Pain, H., Good, J.: Learning by game-building: a novel approach to theoretical computer science education. SIGCSE Bull. 39(3), 53\u201357 (2007). https:\/\/doi.org\/10.1145\/1269900.1268802","DOI":"10.1145\/1269900.1268802"},{"issue":"4","key":"21_CR23","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1016\/j.compedu.2009.10.018","volume":"54","author":"M Lasen","year":"2010","unstructured":"Lasen, M.: Education and career pathways in information communication technology: what are schoolgirls saying? Comput. Educ. 54(4), 1117\u20131126 (2010). https:\/\/doi.org\/10.1016\/j.compedu.2009.10.018","journal-title":"Comput. Educ."},{"issue":"4","key":"21_CR24","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1111\/j.1467-8535.2008.00847.x","volume":"40","author":"WWF Lau","year":"2009","unstructured":"Lau, W.W.F., Yuen, A.H.K.: Exploring the effects of gender and learning styles on computer programming performance: implications for programming pedagogy. Br. J. Edu. Technol. 40(4), 696\u2013712 (2009). https:\/\/doi.org\/10.1111\/j.1467-8535.2008.00847.x","journal-title":"Br. J. Edu. Technol."},{"key":"21_CR25","doi-asserted-by":"publisher","unstructured":"Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation. 2nd edn. Prentice Hall PTR, Upper Saddle River (1997). https:\/\/doi.org\/10.1145\/300307.1040360","DOI":"10.1145\/300307.1040360"},{"key":"21_CR26","first-page":"1","volume":"140","author":"R Likert","year":"1932","unstructured":"Likert, R.: A technique for the measurement of attitudes. Arch. Psychol. 140, 1\u201355 (1932)","journal-title":"Arch. Psychol."},{"key":"21_CR27","volume-title":"An Introduction to Formal Languages and Automata","author":"P Linz","year":"2011","unstructured":"Linz, P.: An Introduction to Formal Languages and Automata, 5th edn. Jones and Bartlett Publishers Inc, USA (2011)","edition":"5"},{"key":"21_CR28","doi-asserted-by":"publisher","unstructured":"Mane, D.T., Howal, S.S., Lokare, V.T.: Problem-based learning using simulation tools for automata theory. J. Eng. Educ. Transformations 30 (2016). https:\/\/doi.org\/10.16920\/jeet\/2016\/v0i0\/85708","DOI":"10.16920\/jeet\/2016\/v0i0\/85708"},{"key":"21_CR29","volume-title":"Unlocking the Clubhouse: Women in Computing","author":"J Margolis","year":"2001","unstructured":"Margolis, J., Fisher, A.: Unlocking the Clubhouse: Women in Computing. MIT Press, Cambridge (2001)"},{"key":"21_CR30","unstructured":"Mart\u00ednez, M., Barbuzza, R., Mauco, M.V., Favre, L.: MTSolution: A visual and interactive tool for a formal languages and automata course. Inf. Syst. Educ. J. 7(10) (2009). http:\/\/isedj.org\/7\/10\/"},{"key":"21_CR31","doi-asserted-by":"publisher","unstructured":"McDonald, J.: Interactive pushdown automata animation. SIGCSE Bull. 34(1), 376\u2013380 (2002). https:\/\/doi.org\/10.1145\/563517.563489","DOI":"10.1145\/563517.563489"},{"key":"21_CR32","doi-asserted-by":"publisher","unstructured":"McDowell, C., Werner, L.L., Bullock, H.E., Fernald, J.: The impact of pair programming on student performance, perception and persistence. In: Clarke, L.A., Dillon, L., Tichy, W.F. (eds.) Proceedings of the 25th International Conference on Software Engineering, May 3\u201310, 2003, Portland, Oregon, USA, pp. 602\u2013607. IEEE Computer Society (2003). https:\/\/doi.org\/10.1109\/ICSE.2003.1201243","DOI":"10.1109\/ICSE.2003.1201243"},{"key":"21_CR33","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.: Composing turing machines in FSM. In: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2023, pp. 38\u201349. Association for Computing Machinery, New York (2023). https:\/\/doi.org\/10.1145\/3622780.3623647","DOI":"10.1145\/3622780.3623647"},{"key":"21_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000059","volume":"28","author":"MT Moraz\u00e1n","year":"2018","unstructured":"Moraz\u00e1n, M.T.: Infusing an HtDP-based CS1 with distributed programming using functional video games. J. Funct. Program. 28, e5 (2018). https:\/\/doi.org\/10.1017\/S0956796818000059","journal-title":"J. Funct. Program."},{"key":"21_CR35","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T.: Animated Problem Solving - An Introduction to Program Design Using Video Game Development. Texts in Computer Science, Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-85091-3","DOI":"10.1007\/978-3-030-85091-3"},{"key":"21_CR36","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T.: Animated Program Design - Intermediate Program Design Using Video Game Development. Texts in Computer Science, Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-04317-8","DOI":"10.1007\/978-3-031-04317-8"},{"key":"21_CR37","unstructured":"Moraz\u00e1n, M.T.: FSM. Seton Hall University, South Orange, NJ, USA (2024). https:\/\/morazanm.github.io\/fsm\/fsm\/index.html. Accessed Mar 2025"},{"key":"21_CR38","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T.: Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove. Texts in Computer Science, Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-43973-5","DOI":"10.1007\/978-3-031-43973-5"},{"key":"21_CR39","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Antunez, R.: Functional Automata\u2013Formal Languages for Computer Science Students. In: Caldwell, J.L., H\u00f6lzenspies, P.K.F., Achten, P. (eds.) Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014. EPTCS, vol.\u00a0170, pp. 19\u201332 (2014). https:\/\/doi.org\/10.4204\/EPTCS.170.2","DOI":"10.4204\/EPTCS.170.2"},{"key":"21_CR40","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Des\u00a0Rosiers, J.A.: FSM error messages. In: Achten, P., Miller, H. (eds.) Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS, vol.\u00a0295, pp. 1\u201316 (2018). https:\/\/doi.org\/10.4204\/EPTCS.295.1","DOI":"10.4204\/EPTCS.295.1"},{"key":"21_CR41","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Kempinski, O.: Using computation graphs to explain nondeterminism to students. In: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2024, pp. 23\u201333. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3689493.3689978","DOI":"10.1145\/3689493.3689978"},{"key":"21_CR42","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Mini\u0107, T.: Finite-state automaton to\/from regular expression visualization. Electron. Proc. Theor. Comput. Sci. 405, 36\u201355 (2024). https:\/\/doi.org\/10.4204\/eptcs.405.3. In: Proceedings TFPIE 2024","DOI":"10.4204\/eptcs.405.3"},{"key":"21_CR43","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Mini\u0107, T.: Nondeterministic to deterministic finite-state machine visualization: implementation and evaluation. In: ITiCSE 2024: Proceedings of the 2024 Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2024, pp. 262\u2013268. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3649217.3653641","DOI":"10.1145\/3649217.3653641"},{"key":"21_CR44","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Mini\u0107, T., Kempinski, O.: Visualizing composed turing machines. In: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E. SPLASH-E 2024, pp. 34\u201344. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3689493.3689979","DOI":"10.1145\/3689493.3689979"},{"key":"21_CR45","doi-asserted-by":"publisher","unstructured":"Moraz\u00e1n, M.T., Schappel, J.M., Mahashabde, S.: Visual designing and debugging of deterministic finite-state machines in FSM. Electron. Proc. Theor. Comput. Sci. 321, 55\u201377 (2020). https:\/\/doi.org\/10.4204\/eptcs.321.4","DOI":"10.4204\/eptcs.321.4"},{"key":"21_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/eptcs.321.1","volume":"321","author":"MT Moraz\u00e1n","year":"2020","unstructured":"Moraz\u00e1n, M.T.: How to design while loops. Electron. Proc. Theor. Comput. Sci. 321, 1\u201318 (2020). https:\/\/doi.org\/10.4204\/eptcs.321.1","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"21_CR47","unstructured":"Naveed, M.S., Sarim, M.: Didactic strategy for learning theory of automata and formal languages. Proc. Pak. Acad. Sci. A. Phys. Comput. Sci. 55(2), 55\u201367 (2018), https:\/\/www.ppaspk.org\/index.php\/PPAS-A\/article\/view\/171"},{"issue":"6","key":"21_CR48","first-page":"90","volume":"31","author":"A Neeman","year":"2016","unstructured":"Neeman, A.: Buy one get one free: automata theory concepts through software test. J. Comput. Sci. Coll. 31(6), 90\u201396 (2016)","journal-title":"J. Comput. Sci. Coll."},{"key":"21_CR49","unstructured":"Papert, S., Harel, I.: Situating constructionism. In: Papert, S., Harel, I. (eds.) Constructionism, chap.\u00a01. Ablex Publishing Corporation, Norwood, NJ (1991). http:\/\/www.papert.org\/articles\/SituatingConstructionism.html"},{"key":"21_CR50","doi-asserted-by":"publisher","unstructured":"Perlis, A.J.: Special feature: epigrams on programming. Sigplan Not. 17(9), 7\u201313 (1982). https:\/\/doi.org\/10.1145\/947955.1083808","DOI":"10.1145\/947955.1083808"},{"key":"21_CR51","unstructured":"Pillay, N.: Teaching the theory of formal languages and automata in the computer science undergraduate curriculum. South Afr. Comput. J. 42, 87\u201394 (2008). http:\/\/reference.sabinet.co.za\/document\/EJC28069"},{"key":"21_CR52","doi-asserted-by":"publisher","unstructured":"Pillay, N.: Learning difficulties experienced by students in a course on formal languages and automata theory. SIGCSE Bull. 41(4), 48\u201352 (2010). https:\/\/doi.org\/10.1145\/1709424.1709444","DOI":"10.1145\/1709424.1709444"},{"key":"21_CR53","volume-title":"Automata, Computability and Complexity: Theory and Applications","author":"E Rich","year":"2019","unstructured":"Rich, E.: Automata, Computability and Complexity: Theory and Applications. Pearson Prentice Hall, Hoboken (2019)"},{"key":"21_CR54","volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","author":"SH Rodger","year":"2006","unstructured":"Rodger, S.H.: JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers Inc, USA (2006)"},{"issue":"1","key":"21_CR55","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/268085.268089","volume":"29","author":"SH Rodger","year":"1997","unstructured":"Rodger, S.H., et al.: A collection of tools for making automata theory and formal languages come alive. SIGCSE Bull. 29(1), 15\u201319 (1997). https:\/\/doi.org\/10.1145\/268085.268089","journal-title":"SIGCSE Bull."},{"key":"21_CR56","doi-asserted-by":"publisher","unstructured":"Rodger, S.H., Bressler, B., Finley, T., Reading, S.: Turning automata theory into a hands-on course. In: Baldwin, D., Tymann, P.T., Haller, S.M., Russell, I. (eds.) Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3\u20135, 2006, pp. 379\u2013383. ACM (2006). https:\/\/doi.org\/10.1145\/1121341.1121459","DOI":"10.1145\/1121341.1121459"},{"key":"21_CR57","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2013","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning, USA (2013)","edition":"3"},{"key":"21_CR58","doi-asserted-by":"publisher","unstructured":"Stallmann, M.F., Balik, S.P., Rodman, R.D., Bahram, S., Grace, M.C., High, S.D.: ProofChecker: an accessible environment for automata theory correctness proofs. In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, pp. 48\u201352. Association for Computing Machinery, New York (2007). https:\/\/doi.org\/10.1145\/1268784.1268801","DOI":"10.1145\/1268784.1268801"},{"key":"21_CR59","unstructured":"Stoughton, A.: Formal Language Theory: Integrating Experimentation and Proof. https:\/\/alleystoughton.us\/forlan\/book.pdf (2003\u20132022). Accessed Mar 2025"},{"key":"21_CR60","unstructured":"Stoughton, A.: The Forlan Project. https:\/\/alleystoughton.us\/forlan (2003\u20132022). Accessed Mar 2025"},{"key":"21_CR61","doi-asserted-by":"publisher","unstructured":"Stoughton, A.: Experimenting with formal languages using forlan. In: Proceedings of the 2008 International Workshop on Functional and Declarative Programming in Education, FDPE 2008, pp. 41\u201350. Association for Computing Machinery, New York (2008). https:\/\/doi.org\/10.1145\/1411260.1411267","DOI":"10.1145\/1411260.1411267"},{"key":"21_CR62","unstructured":"Uppi, S.A.: JFORLAN Tool. Kansas State University, Manhattan, Kansas, USA (2009)"},{"key":"21_CR63","doi-asserted-by":"publisher","unstructured":"Vekiri, I.: Information science instruction and changes in girls\u2019 and boy\u2019s expectancy and value beliefs: in search of gender-equitable pedagogical practices. Comput. Educ. 64, 104\u2013115 (2013). https:\/\/doi.org\/10.1016\/j.compedu.2013.01.011","DOI":"10.1016\/j.compedu.2013.01.011"},{"key":"21_CR64","doi-asserted-by":"publisher","unstructured":"Verma, R.M.: A visual and interactive automata theory course emphasizing breadth of automata. In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, pp. 325\u2013329. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1067445.1067535","DOI":"10.1145\/1067445.1067535"},{"key":"21_CR65","doi-asserted-by":"publisher","unstructured":"Vieira, L.F.M., Vieira, M.A.M., Vieira, N.J.: Language emulator, a helpful toolkit in the learning process of computer theory. SIGCSE Bull. 36(1), 135\u2013139 (2004). https:\/\/doi.org\/10.1145\/1028174.971348","DOI":"10.1145\/1028174.971348"},{"key":"21_CR66","doi-asserted-by":"publisher","unstructured":"Vijayalaskhmi, M., Karibasappa, K.: Activity based teaching learning in formal languages and automata theory - an experience. In: 2012 IEEE International Conference on Engineering Education: Innovative Practices and Future Trends (AICERA), pp.\u00a01\u20135. IEEE (2012). https:\/\/doi.org\/10.1109\/AICERA.2012.6306722","DOI":"10.1109\/AICERA.2012.6306722"},{"key":"21_CR67","unstructured":"Welsh, N., Culpepper, R.: RackUnit: Unit Testing. PLT Racket, v8.12 edn. (2024). https:\/\/docs.racket-lang.org\/rackunit\/index.html. Accessed Mar 2025"},{"key":"21_CR68","doi-asserted-by":"publisher","unstructured":"Wermelinger, M., Dias, A.M.: A prolog toolkit for formal languages and automata. In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, pp. 330\u2013334. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1067445.1067536","DOI":"10.1145\/1067445.1067536"},{"issue":"1\u20132","key":"21_CR69","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1076\/csed.12.1.141.8211","volume":"12","author":"BC Wilson","year":"2002","unstructured":"Wilson, B.C.: A study of factors promoting success in computer science including gender differences. Comput. Sci. Educ. 12(1\u20132), 141\u2013164 (2002). https:\/\/doi.org\/10.1076\/csed.12.1.141.8211","journal-title":"Comput. Sci. Educ."}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99751-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:22:14Z","timestamp":1764361334000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99751-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031997501","9783031997518"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99751-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/trendsfp.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}