Non-determinism in CS high-school curricula

Michal Armoni, Judith Gal-Ezer

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a theoretical unit on computational models. It includes deterministic and non-deterministic finite automata, regular and non-regular languages, closure properties of regular languages, pushdown automata, closure properties of context free languages, Turing machines, the Church-Turing thesis and the halting problem. This paper focuses on part of a study we conducted on the unit, dealing with the topic of non-determinism of finite automata. One of the aspects dealt with was how students perceived non-determinism. 339 students were given a relatively complicated regular language, and asked to construct a finite automaton that accepts this language. We found that many students did not choose the easiest way to solve the problem: Many students preferred to construct a deterministic automaton, even though constructing a non-deterministic automaton for the language is much simpler. We analyze and categorize the students' solutions, thus shedding some light on their perception of the abstract concept of non-determinism.

Original languageEnglish
Title of host publication33rd Annual Frontiers in Education
Subtitle of host publicationEngineering as a Human Endeavor: Partnering Community, Academia, Government, and Industry, FIE 2003 - Conference Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
PagesF2C18-F2C23
Volume2
ISBN (Electronic)0780379616
DOIs
StatePublished - 2003
Event33rd Annual Frontiers in Education, FIE 2003 - Westminster, United States
Duration: 5 Nov 20038 Nov 2003

Publication series

NameProceedings - Frontiers in Education Conference, FIE
Volume2
ISSN (Print)1539-4565

Conference

Conference33rd Annual Frontiers in Education, FIE 2003
Country/TerritoryUnited States
CityWestminster
Period5/11/038/11/03

Bibliographical note

Publisher Copyright:
© 2003 IEEE.

Keywords

  • Computational model
  • Deterministic fnite automata
  • Non-determinism
  • Non-deterministic finite automata

Fingerprint

Dive into the research topics of 'Non-determinism in CS high-school curricula'. Together they form a unique fingerprint.

Cite this