English
Related papers

Related papers: FSM Error Messages

200 papers

This article presents a novel framework to provide Formal Languages and Automata Theory students design support for the development of regular expressions. This framework includes a design recipe for regular expressions and a customized…

Formal Languages and Automata Theory · Computer Science 2025-08-06 Marco T. Morazán , Shamil Dzhatdoyev , Josephine Des Rosiers , Tijana Minić , Andrés M. Garced , David Anthony K. Fields

A key part of learning to program is learning to understand programming error messages. They can be hard to interpret and identifying the cause of errors can be time-consuming. One factor in this challenge is that the messages are typically…

Human-Computer Interaction · Computer Science 2024-04-03 Juho Leinonen , Arto Hellas , Sami Sarsa , Brent Reeves , Paul Denny , James Prather , Brett A. Becker

During lab studies of text entry methods it is typical to observer very few errors in participants' typing - users tend to type very carefully in labs. This is a problem when investigating methods to support error awareness or correction as…

Human-Computer Interaction · Computer Science 2020-03-16 Andreas Komninos , Emma Nicol , Mark Dunlop

Large language models (LLMs) are revolutionizing education, with LLM-based agents playing a key role in simulating student behavior. A major challenge in student simulation is modeling the diverse learning patterns of students at various…

Machine Learning · Computer Science 2025-08-12 Tao Wu , Jingyuan Chen , Wang Lin , Mengze Li , Yumeng Zhu , Ang Li , Kun Kuang , Fei Wu

Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and…

Formal Languages and Automata Theory · Computer Science 2021-02-02 Loris D'Antoni , Martin Helfrich , Jan Kretinsky , Emanuel Ramneantu , Maximilian Weininger

In this paper we report a study in which we have developed a teaching cycle based closely on Bloom's Learning for Mastery (LFM). The teaching cycle ameliorates some of the practical problems with LFM by making use of the STACK online…

History and Overview · Mathematics 2017-12-22 Timo Pelkola , Antti Rasila , Christopher Sangwin

The capability of large language models (LLMs) to generate, debug, and explain code has sparked the interest of researchers and educators in undergraduate programming, with many anticipating their transformative potential in programming…

Human-Computer Interaction · Computer Science 2024-06-11 Aadarsh Padiyath , Xinying Hou , Amy Pang , Diego Viramontes Vargas , Xingjian Gu , Tamara Nelson-Fromm , Zihan Wu , Mark Guzdial , Barbara Ericson

Large Language Models (LLMs) represent a leap in artificial intelligence, excelling in tasks using human language(s). Although the main focus of general-purpose LLMs is not code generation, they have shown promising results in the domain.…

Software Engineering · Computer Science 2024-01-30 Sanka Rasnayaka , Guanlin Wang , Ridwan Shariffdeen , Ganesh Neelakanta Iyer

With the rapid advancement of large language models (LLMs) in code generation, their applications in hardware design are receiving growing attention. However, existing LLMs face several challenges when generating Verilog code for finite…

Software Engineering · Computer Science 2025-12-15 Qiuming Luo , Yanming Lei , Kunzhong Wu , Yixuan Cao , Chengjian Liu

Student simulation presents a transformative approach to enhance learning outcomes, advance educational research, and ultimately shape the future of effective pedagogy. We explore the feasibility of using large language models (LLMs), a…

Artificial Intelligence · Computer Science 2023-10-31 Songlin Xu , Xinyu Zhang

Among the wide variety of evolutionary computing models, Finite State Machines (FSMs) have several attractions for fundamental research. They are easy to understand in concept and can be visualised clearly in simple cases. They have a ready…

Neural and Evolutionary Computing · Computer Science 2023-10-23 Gabor Zoltai , Yue Xie , Frank Neumann

Students' difficulties in quantum mechanics may be the result of unproductive framing rather than a fundamental inability to solve the problems or misconceptions about physics content. Using the theoretical lens of epistemological framing,…

Physics Education · Physics 2019-12-11 Bahar Modir , John D Thompson , Eleanor C Sayre

The use of functional programming languages in the first programming course at many universities is well-established and effective. Invariably, however, students must progress to study object-oriented programming. This article presents how…

Computers and Society · Computer Science 2022-08-15 Marco T. Morazán

A key consideration when training an LLM is whether the target language is more or less resourced, for example English compared to Welsh, or Python compared to Excel. Typical training data for programming languages consists of real program…

Computation and Language · Computer Science 2026-05-13 Nick McKenna , Xinnuo Xu , Jack Williams , Nick Wilson , Benjamin Van Durme , Christian Poelitz

Large Language Models (LLMs) often struggle with code generation tasks involving niche software libraries. Existing code generation techniques with only human-oriented documentation can fail -- even when the LLM has access to web search and…

Software Engineering · Computer Science 2025-05-09 Sandya Wijaya , Jacob Bolano , Alejandro Gomez Soteres , Shriyanshu Kode , Yue Huang , Anant Sahai

Large language models (LLMs) can fluently generate student-like responses, making them attractive as simulated students for training and evaluating AI tutors and human educators. Yet such simulators are typically evaluated by output…

Computation and Language · Computer Science 2026-05-14 Heejin Do , Shashank Sonkar , Mrinmaya Sachan

We present a new method for automatically providing feedback for introductory programming problems. In order to use this method, we need a reference implementation of the assignment, and an error model consisting of potential corrections to…

Programming Languages · Computer Science 2012-11-19 Rishabh Singh , Sumit Gulwani , Armando Solar-Lezama

Imitation learning frameworks for robotic manipulation have drawn attention in the recent development of language model grounded robotics. However, the success of the frameworks largely depends on the coverage of the demonstration cases:…

Robotics · Computer Science 2025-03-10 Tong Mu , Yihao Liu , Mehran Armand

Prior research has raised concerns about students' over-reliance on large language models (LLMs) in higher education. This paper examines how Computer Science students and instructors engage with LLMs across five scenarios: "Writing",…

Human-Computer Interaction · Computer Science 2026-02-06 Xinrui Lin , Heyan Huang , Shumin Shi , John Vines

Predicting the performance of students early and as accurately as possible is one of the biggest challenges of educational institutions. Analyzing the performance of students early can help in finding the strengths and weakness of students…

Computers and Society · Computer Science 2021-12-03 Aaditya Bhusal