Blogs (4) >>
Thu 21 Mar 2024 14:35 - 15:00 at Meeting Room D136 - Theoretical CS Chair(s): Wendy Fisher

The content covered in a Formal Languages course holds a mathematical nature, which requires students to engage with proofs and algorithms to grasp concepts. Conventional textbooks on Formal Languages predominantly employ textual explanations, with assignments often entailing manual problem solving. Some educators incorporate tools like JFLAP. JFLAP helps students construct models and apply algorithms to enhance interaction with the subject matter. However, students must put considerable effort into reading and solving problems manually to reach comprehension. Drawing inspiration from the Programmed Instruction (PI) teaching methodology, we have developed an innovative eTextbook for Formal Languages that facilitates a more intuitive understanding of these ideas. The PI approach has students read a bit, ideally a sentence or paragraph, and then answer a question or complete an exercise related to that information. Depending on their response, students can progress to subsequent information frames or re-attempt the exercise. Our objective is to present the entirety of the Formal Languages curriculum through a sequence of these informative frames, each accompanied by related questions. To evaluate the pedagogical effectiveness of our new eTextbook, we conducted a survey to ask students for their feedback on their experience with the Programmed Instruction etextbook. We also conducted performance evaluations on two offerings of the Formal Languages and Automata course. In performance evaluation, students’ grades are compared to assess learning gains between visualizations with exercises, and with PI frames.

Thu 21 Mar

Displayed time zone: Pacific Time (US & Canada) change

13:45 - 15:00
Theoretical CSPapers at Meeting Room D136
Chair(s): Wendy Fisher Colorado School of Mines
13:45
25m
Talk
Experiences Using Research Processes in an Undergraduate Theory of Computing Course
Papers
Ryan Dougherty United States Military Academy
DOI
14:10
25m
Talk
Participatory Governance in the Computer Science Theory Classroom
Papers
Tim Randolph Columbia University
DOI
14:35
25m
Talk
Teaching Formal Languages through Programmed Instruction
Papers
Mostafa Mohammed The University at Buffalo - SUNY, Cliff Shaffer Virginia Tech
DOI