Decidability and Constructivism

Occasionally, computer science college instructors are concerned with what to teach but not with the how to teach it. However, the application of the learning theory of constructivism in computer science education has a positive impact on student achievement. Moreover, research findings in this area suggest that effective constructivist lessons in computer science involved the design of cognitive models. This paper presents the design of a cognitive model that can be used in the teaching of the theory of computation. This model represents a framework notation for the construction of a decider Turing machine that will be the basis for decidabilty.