# Difference between revisions of "MCTOC"

From Maryville College CS Wiki

Robert.lowe (talk | contribs) (→Issues) |
Robert.lowe (talk | contribs) (→Issues) |
||

(3 intermediate revisions by the same user not shown) | |||

Line 6: | Line 6: | ||

== Issues == | == Issues == | ||

*[[Media:MCTOC-v1-n2.pdf|MCTOC Volume 1 Number 2 December 2015]] | *[[Media:MCTOC-v1-n2.pdf|MCTOC Volume 1 Number 2 December 2015]] | ||

+ | **Erratum | ||

**The Idea of Functionalism - ''Ricardo Santos'' | **The Idea of Functionalism - ''Ricardo Santos'' | ||

**Using Turing Machines to Simulate Computer Programming - ''Nabil Ahlhauser'' | **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'' | **On The Possibility of a Turing Machine Implementation in the Fallout 4 Building System - ''Nicholas Romano'' | ||

**Parsing using Pushdown Automaton - ''Jacob Sutton'' | **Parsing using Pushdown Automaton - ''Jacob Sutton'' | ||

− | **Turing Machines: ASCII code, interpretation, encryption, and printing - ''Jake Mason'' | + | **Turing Machines: ASCII code, interpretation, encryption, and printing - ''Jake Mason'' |

− | **Basic Propositional Logic Statements through Turing Machines - ''Matthew Jenkins'' | + | ** Basic Propositional Logic Statements through Turing Machines - ''Matthew Jenkins'' |

− | **Prime Number Determination with a Multiple Tape Turing Machine using Martin Davis Notation - ''Michael Kaufman'' | + | ** Prime Number Determination with a Multiple Tape Turing Machine using Martin Davis Notation - ''Michael Kaufman'' |

− | **E-Z Sequence - ''Kayla Brown'' | + | ** E-Z Sequence - ''Kayla Brown'' |

− | **Computing Game Theory Outcomes with Turing Machines - ''Tanner Curren'' | + | ** Computing Game Theory Outcomes with Turing Machines - ''Tanner Curren'' |

− | **On Comparators and Turing Machines - ''Will Marttala'' | + | ** On Comparators and Turing Machines - ''Will Marttala'' |

*[[Media:MCTOC-v1-n1.pdf|MCTOC Volume 1 Number 1 November 2015]] | *[[Media:MCTOC-v1-n1.pdf|MCTOC Volume 1 Number 1 November 2015]] | ||

Line 25: | Line 26: | ||

**Parallel Turing Machines: Notation and Analysis - ''Tanner Curren'' | **Parallel Turing Machines: Notation and Analysis - ''Tanner Curren'' | ||

**On Calculators and Turing Machines - ''Will Marttala'' | **On Calculators and Turing Machines - ''Will Marttala'' | ||

− | **Overview of | + | **Overview of Rice’s Theorem - ''Ricardo Santos'' |

**The Necessity of Strong Normalization in Lambda Calculus - ''Jacob Sutton'' | **The Necessity of Strong Normalization in Lambda Calculus - ''Jacob Sutton'' | ||

− | **On | + | **On Church’s Lambda Calculus: A brief look at form, function and application - ''Jake Mason'' |

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | Lambda Calculus: A brief look at form, function | ||

**Lambda Calculus Prime Decomposition - ''Nicholas Romano'' | **Lambda Calculus Prime Decomposition - ''Nicholas Romano'' | ||

− | **Analysis of a | + | **Analysis of a Player’s Enemy Encounters in Dirty Bomb through a Turing Machine - ''Matt Jenkins'' |

## Latest revision as of 11:24, 10 February 2020

## Information

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.

## Issues

- 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*

- Turing Machine to Compute Binary Carry Sequence -