MCTOC - The Bi-Semesterly Semi-Annual Journal of Theoretical Computation


This journal is a collection of the term papers submitted by students in our CS381 Theory of Computation class at Maryville College. The papers are vetted by a peer review process, and then included for publication within the journal. There are two issues per course section, with one course section offered every odd numbered fall semester. The journal has a 100% acceptance rate, but submissions are only accepted from invited (and indeed coerced) authors.


  • MCTOC Volume 1 Number 2 December 2015
    • Erratum
    • The Idea of Functionalism - Ricardo Santos
    • Using Turing Machines to Simulate Computer Programming - Nabil Ahlhauser
    • Prim’s Universal Turing Machine - Dustin McAfee
    • On The Possibility of a Turing Machine Implementation in the Fallout 4 Building System - Nicholas Romano
    • Parsing using Pushdown Automaton - Jacob Sutton
    • Turing Machines: ASCII code, interpretation, encryption, and printing - Jake Mason
    • Basic Propositional Logic Statements through Turing Machines - Matthew Jenkins
    • Prime Number Determination with a Multiple Tape Turing Machine using Martin Davis Notation - Michael Kaufman
    • E-Z Sequence - Kayla Brown
    • Computing Game Theory Outcomes with Turing Machines - Tanner Curren
    • On Comparators and Turing Machines - Will Marttala
  • MCTOC Volume 1 Number 1 November 2015
    • Turing Machine to Compute Binary Carry Sequence - Kayla Brown
    • Quantum Universal Turing Machine - Dustin McAffee
    • Factorial Number Determination with a Multiple Tape Turing Machine using Martin Davis Notation - Michael Kaufman
    • Using Turing Machines to Calculate Prime Numbers - Nabil Ahlhauser
    • Parallel Turing Machines: Notation and Analysis - Tanner Curren
    • On Calculators and Turing Machines - Will Marttala
    • Overview of Rice’s Theorem - Ricardo Santos
    • The Necessity of Strong Normalization in Lambda Calculus - Jacob Sutton
    • On Church’s Lambda Calculus: A brief look at form, function and application - Jake Mason
    • Lambda Calculus Prime Decomposition - Nicholas Romano
    • Analysis of a Player’s Enemy Encounters in Dirty Bomb through a Turing Machine - Matt Jenkins