{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T20:46:46Z","timestamp":1770238006996,"version":"3.49.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Educ. Resour. Comput."],"published-print":{"date-parts":[[2005,6]]},"abstract":"<jats:p>Progress on a hypertextbook on the theory of computing is presented. The hypertextbook is a novel teaching and learning resource built around web technologies that incorporates text, sound, pictures, illustrations, slide shows, video clips, and---most importantly---active learning models of the key concepts of the theory of computing into an integrated resource. Active learning models currently exist for finite state automata, regular expressions, regular grammars, the pumping lemma for regular languages, context- free grammars, LL(1) parsing, and program execution. The seamless interweaving of these components into a browser-ready whole will help realize the goal of integrating visualization aids into theory courses.<\/jats:p>","DOI":"10.1145\/1141904.1141909","type":"journal-article","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:14:26Z","timestamp":1153836866000},"page":"5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Realizing the promise of visualization in the theory of computing"],"prefix":"10.1145","volume":"5","author":[{"given":"Joshua J.","family":"Cogliati","sequence":"first","affiliation":[{"name":"Montana State University"}]},{"given":"Frances W.","family":"Goosey","sequence":"additional","affiliation":[{"name":"Montana State University"}]},{"given":"Michael T.","family":"Grinder","sequence":"additional","affiliation":[{"name":"Montana Tech of the University of Montana"}]},{"given":"Bradley A.","family":"Pascoe","sequence":"additional","affiliation":[{"name":"Montana State University"}]},{"given":"Rockford J.","family":"ROSS","sequence":"additional","affiliation":[{"name":"Montana State University"}]},{"given":"Cheston J.","family":"Williams","sequence":"additional","affiliation":[{"name":"Montana State University"}]}],"member":"320","published-online":{"date-parts":[[2005,6]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"162","volume-title":"Proceedings of the 34 SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35","author":"Akingbade A.","year":"1892","unstructured":"Akingbade , A. , Finley , T. , Jackson , D. , Patel , P. , and Rodger , S.H . 2003. Jawaa: Easy web-based animation from CS 0 to advanced CS courses . In Proceedings of the 34 SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35 , 162 - 166 . 10.1145\/61 1892 .611959 Akingbade, A., Finley, T., Jackson, D., Patel, P., and Rodger, S.H. 2003. Jawaa: Easy web-based animation from CS 0 to advanced CS courses. In Proceedings of the 34 SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35, 162-166. 10.1145\/611892.611959"},{"key":"e_1_2_1_2_1","first-page":"45","article-title":"Constructivism in computer science education","volume":"20","author":"Ben-Ari M.","year":"2001","unstructured":"Ben-Ari , M. 2001 . Constructivism in computer science education . J. Comput. Math. Sci. Teaching 20 , 1, 45 -- 73 . Ben-Ari, M. 2001. Constructivism in computer science education. J. Comput. Math. Sci. Teaching 20, 1, 45--73.","journal-title":"J. Comput. Math. Sci. Teaching"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/299649.299664"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364539"},{"key":"e_1_2_1_5_1","volume-title":"Tech. Rep. GIT-GVU-96-18","author":"Byrne M. D.","year":"1996","unstructured":"Byrne , M. D. , Catrambone , R. , and Stasko , J.T . 1996 . Do algorithm animations aid learning? Tech. Rep. GIT-GVU-96-18 , Georgia Institute of Technology, Atlanta, GA , Aug. The results here are not negative, but they are inconclusive. Byrne, M. D., Catrambone, R., and Stasko, J.T. 1996. Do algorithm animations aid learning? Tech. Rep. GIT-GVU-96-18, Georgia Institute of Technology, Atlanta, GA, Aug. The results here are not negative, but they are inconclusive."},{"key":"e_1_2_1_6_1","unstructured":"Byrne R. 2000. Mental models website. May. http:\/\/www.tcd.ie\/Psychology\/Ruth_Byrne\/mental_models\/index.html  Byrne R. 2000. Mental models website. May. http:\/\/www.tcd.ie\/Psychology\/Ruth_Byrne\/mental_models\/index.html"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Chesnevar C. I. Cobo M. L. and Yurcik W. 2003. Using theoretical computer simulators for formal languages and automata theory. In ITiCSE 2002 Working Group Reports. SIGCSE Bull. (June) 33--37. 10.1145\/782941.782975   Chesnevar C. I. Cobo M. L. and Yurcik W. 2003. Using theoretical computer simulators for formal languages and automata theory. In ITiCSE 2002 Working Group Reports. SIGCSE Bull. (June) 33--37. 10.1145\/782941.782975","DOI":"10.1145\/782941.782975"},{"key":"e_1_2_1_8_1","volume-title":"The Nature of Explanation","author":"Craik K.","unstructured":"Craik , K. 1943. The Nature of Explanation . Cambridge University Press . Craik, K. 1943. The Nature of Explanation. Cambridge University Press."},{"key":"e_1_2_1_9_1","volume-title":"(Eds.)","author":"Gentner D.","year":"1983","unstructured":"Gentner , D. and Stevens , A.L . (Eds.) 1983 . Mental Models. Lawrence Erlbaum , Hillsdale, NJ. Gentner, D. and Stevens, A.L. (Eds.) 1983. Mental Models. Lawrence Erlbaum, Hillsdale, NJ."},{"key":"e_1_2_1_10_1","volume-title":"2000. Computer Science Education in the 21st Centur","author":"Greening T.","unstructured":"Greening , T. (Ed.) 2000. Computer Science Education in the 21st Centur . Springer Verlag , 173--193. Greening, T. (Ed.) 2000. Computer Science Education in the 21st Centur. Springer Verlag, 173--193."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35 (March),157--161","author":"Grinder M.T.","year":"2003","unstructured":"Grinder , M.T. 2003 . A preliminary empirical evaluation of the effectiveness of a finite state automaton animator . In Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35 (March),157--161 , 10.1145\/611892.611958 Grinder, M.T. 2003. A preliminary empirical evaluation of the effectiveness of a finite state automaton animator. In Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bull. 35 (March),157--161, 10.1145\/611892.611958"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/563340.563488"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/330908.331800"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-0663.83.4.484"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-0663.84.4.444"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/960875.960540"},{"key":"e_1_2_1_17_1","unstructured":"Ross R. J. 1999. Webworks web site. http:\/\/www.cs.montana.edu\/webworks.  Ross R. J. 1999. Webworks web site. http:\/\/www.cs.montana.edu\/webworks."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/954092.954106"},{"key":"e_1_2_1_19_1","series-title":"Lecture Notes in Computer Science, LNCS 2269","volume-title":"Hypertextbooks: Animated, active learning, comprehensive teaching and learning resources for the web. In Software Visualization","author":"Ross R. J.","year":"2002","unstructured":"Ross , R. J. 2002 . Hypertextbooks: Animated, active learning, comprehensive teaching and learning resources for the web. In Software Visualization . Lecture Notes in Computer Science, LNCS 2269 , S. Diehl (ed.), Springer Verlag , 269--283. Ross, R. J. 2002. Hypertextbooks: Animated, active learning, comprehensive teaching and learning resources for the web. In Software Visualization. Lecture Notes in Computer Science, LNCS 2269, S. Diehl (ed.), Springer Verlag, 269--283."},{"key":"e_1_2_1_20_1","volume-title":"Image and iInterface: Some psychological aspects of visualisation. Report at PVW","author":"Saariluoma P.","year":"2000","unstructured":"Saariluoma , P. 2000. Image and iInterface: Some psychological aspects of visualisation. Report at PVW 2000 . http:\/\/cs.joensuu.fi\/pages\/pvw\/saariluoma.htm. Saariluoma, P. 2000. Image and iInterface: Some psychological aspects of visualisation. Report at PVW 2000. http:\/\/cs.joensuu.fi\/pages\/pvw\/saariluoma.htm."},{"key":"e_1_2_1_21_1","volume-title":"Software Visualization: Programming as a Multimedia Experience","author":"Stasko J. T.","year":"1997","unstructured":"Stasko , J. T. , Domingue , J. , Brown , M. H. , and Price , B. A . 1997 . Software Visualization: Programming as a Multimedia Experience . MIT Press , Cambridge, MA . Stasko, J. T., Domingue, J., Brown, M. H., and Price, B. A. 1997. Software Visualization: Programming as a Multimedia Experience. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(99)00023-8"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/268085.268091"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the First Program Visualization Workshop","author":"Sutinen E.","year":"2001","unstructured":"Sutinen , E. (Ed.) 2001 . Hypertextbooks for the web . In Proceedings of the First Program Visualization Workshop ( University of Joensuu), 221--233. Sutinen, E. (Ed.) 2001. Hypertextbooks for the web. In Proceedings of the First Program Visualization Workshop (University of Joensuu), 221--233."}],"container-title":["Journal on Educational Resources in Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141904.1141909","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1141904.1141909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:23Z","timestamp":1750259663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141904.1141909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["10.1145\/1141904.1141909"],"URL":"https:\/\/doi.org\/10.1145\/1141904.1141909","relation":{},"ISSN":["1531-4278","1531-4278"],"issn-type":[{"value":"1531-4278","type":"print"},{"value":"1531-4278","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]},"assertion":[{"value":"2005-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}