{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T18:16:23Z","timestamp":1771265783160,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032128751","type":"print"},{"value":"9783032128768","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-032-12876-8_3","type":"book-chapter","created":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:23:41Z","timestamp":1771262621000},"page":"25-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["UAbALL: Automata Learning Lab"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0581-4778","authenticated-orcid":false,"given":"R\u00fadi Gualter","family":"de Oliveira","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2969-1565","authenticated-orcid":false,"given":"Andr\u00e9 Maciel","family":"Sousa","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0655-8414","authenticated-orcid":false,"given":"Mara","family":"Pinto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7182-2225","authenticated-orcid":false,"given":"Nuno","family":"Almendra e Viana","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2224-1609","authenticated-orcid":false,"given":"A. Jorge","family":"Morais","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/2038876.2038893","volume":"2","author":"P Chakraborty","year":"2011","unstructured":"Chakraborty, P., Saxena, P.C., Katti, C.P.: Fifty years of automata simulation: a review. acm inroads. 2(4), 59\u201370 (2011)","journal-title":"acm inroads"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Gilbert, I., Cohen, J.: A simple hardware model of a Turing machine: its educational use. In Proceedings of the ACM annual conference-Volume 1 (pp. 324\u2013329) (1972).","DOI":"10.1145\/800193.569940"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/54138.54145","volume":"20","author":"R Jagielski","year":"1988","unstructured":"Jagielski, R.: Visual simulation of finite state machines. ACM SIGCSE Bull. 20(4), 38\u201340 (1988)","journal-title":"ACM SIGCSE Bull."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BFb0020875","volume-title":"International Conference on Computer Assisted Learning","author":"MC Lee","year":"1990","unstructured":"Lee, M.C.: An abstract machine simulator. In: International Conference on Computer Assisted Learning, pp. 129\u2013141. Berlin, Heidelberg, Springer Berlin Heidelberg (1990)"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/130962.130971","volume":"24","author":"DG Hannay","year":"1992","unstructured":"Hannay, D.G.: Hypercard automata simulation: finite-state, pushdown and Turing machines. ACM SIGCSE Bull. 24(2), 55\u201358 (1992)","journal-title":"ACM SIGCSE Bull."},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/1028174.971348","volume":"36","author":"LFM Vieira","year":"2004","unstructured":"Vieira, L.F.M., Vieira, M.A.M., Vieira, N.J.: Language emulator, a helpful toolkit in the learning process of computer theory. ACM Sigcse Bull. 36(1), 135\u2013139 (2004)","journal-title":"ACM Sigcse Bull."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hamada, M., Shiina, K.: A classroom experiment for teaching automata. In Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education (pp. 261\u2013261) (2004).","DOI":"10.1145\/1007996.1008094"},{"key":"3_CR8","unstructured":"Bovet, J.: Visual Automata Simulator, a tool for simulating automata and Turing machines. University of San Francisco. Available for download at: http:\/\/www.cs.usfca.edu\/~jbovet\/vas.html (2004)."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"White, T. M., Way, T. P.: jfast: A java finite automata simulator. In Proceedings of the 37th SIGCSE technical symposium on Computer science education (pp. 384\u2013388) (2006).","DOI":"10.1145\/1121341.1121460"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Osorio, C., Mediavilla-S\u00e1iz, I., 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 (pp. 316\u2013316) (2008).","DOI":"10.1145\/1384271.1384359"},{"key":"3_CR11","first-page":"301","volume":"1","author":"M \u010cer\u0148ansk\u00fd","year":"2008","unstructured":"\u010cer\u0148ansk\u00fd, M., Neh\u00e9z, M., Chud\u00e1, D., Polick\u00fd, I.: On using of Turing machine simulators in teaching of theoretical computer science. Aplimat J. Appl. Math. 1, 301\u2013312 (2008)","journal-title":"Aplimat J. Appl. Math."},{"key":"3_CR12","unstructured":"Rodger, S.H., Finley, T.W.: JFLAP: An Interactive Formal Languages and Automata Package, Jones & Bartlett Learning (2006)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Procopiuc, M., Procopiuc, O., Rodger, S.H.: Visualization and interaction in the computer science formal languages course with JFLAP. In Technology-Based Re-Engineering Engineering Education Proceedings of Frontiers in Education FIE'96 26th Annual Conference (Vol. 1, pp. 121\u2013125). IEEE (1996).","DOI":"10.1109\/FIE.1996.569925"},{"key":"3_CR14","unstructured":"Carl, B.: Automaton Simulator. [Online]. Available: http:\/\/www.cburch.com\/proj\/autosim\/download.html (2001)."},{"key":"3_CR15","unstructured":"University of Calgary.: Context-Free Grammar Tool. [Online]. Available: https:\/\/smlweb.cpsc.ucalgary.ca\/ (2004)."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Hielscher, M., Wagenknecht, C.: AtoCC: learning environment for teaching theory of automata and formal languages. In ITiCSE (Vol. 6, pp. 26\u201328) (2006).","DOI":"10.1145\/1140124.1140211"},{"key":"3_CR17","volume-title":"Regul\u00e4re Ausdr\u00fccke Kochbuch","author":"J Goyvaerts","year":"2009","unstructured":"Goyvaerts, J., Levithan, S.: Regul\u00e4re Ausdr\u00fccke Kochbuch. O\u2019Reilly (2009)"},{"key":"3_CR18","unstructured":"Skinner, G.: RegExr. [Online]. Available: https:\/\/regexr.com\/ (2005)."},{"key":"3_CR19","unstructured":"Dickerson, K.: Automaton Simulator. [Online]. Available: https:\/\/automatonsimulator.com\/. (2013)"},{"key":"3_CR20","unstructured":"Park, T.: Automata Simulators. Doctoral dissertation, California State University, Northridge (2020)."},{"key":"3_CR21","unstructured":"Zuzak, I., Vedrana, V.: FSM Simulator. [Online]. Available: http:\/\/ivanzuzak.info\/noam\/webapps\/fsm_simulator\/ (2013)."},{"key":"3_CR22","unstructured":"Chuda, D., Trizna, J., Kratky, P.: Android automata simulator. In Proceedings of the International Conference on e-Learning (pp. 80\u20134) (2015)."},{"key":"3_CR23","unstructured":"Wong, C.: CFG Developer. [Online]. Available: https:\/\/web.stanford.edu\/class\/archive\/cs\/cs103\/cs103.1156\/tools\/cfg\/ (2014)"},{"key":"3_CR24","unstructured":"Gibbons, K.: CFG Developer. [Online]. Available: https:\/\/web.stanford.edu\/class\/archive\/cs\/cs103\/cs103.1156\/tools\/cfg\/ (2015)."},{"key":"3_CR25","unstructured":"Ugarte, M.: Online Turing Machine Simulator. [Online]. Available: https:\/\/turingmachinesimulator.com\/ (2015)."},{"key":"3_CR26","volume-title":"Formalization of Transcription and Translation Processes by Turing Machines","author":"HK Drabo","year":"2015","unstructured":"Drabo, H.K.: Formalization of Transcription and Translation Processes by Turing Machines. Morgan State University (2015)"},{"key":"3_CR27","unstructured":"CyberZHG.: CyberZHG\u2019s Toolbox. [Online]. Available: https:\/\/cyberzhg.github.io\/toolbox\/ (2016)."},{"key":"3_CR28","unstructured":"Oliveira, R.G., Sousa, A.M., Pinto, M., Viana, N.A., Morais, A.J.: UAbALL. [Online]. Available: https:\/\/chic.uab.pt\/uaball\/ (2023)."}],"container-title":["Lecture Notes in Networks and Systems","Proceedings of 19th Iberian Conference on Information Systems and Technologies (CISTI 2024)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12876-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:23:48Z","timestamp":1771262628000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12876-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032128751","9783032128768"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12876-8_3","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISTI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iberian Conference on Information Systems and Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salamanca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cisti2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cisti.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}