CDF demonstrations

Below are links to Mathematica-produced CDF demonstrations, as used in the DMTH237 lectures. To get the best from these interactive modules, you will need to download the free CDF player from the Wolfram Inc. website.

If you have the Wolfram Player installed but the plug-in does not work, then download the CDF files for viewing locally, using the (CDF) links below.

DMTH237 Session 1, 2017: Languages and Machines

Lectures in Weeks 3–6: Finite State Machines (FSMs & FSAs)

Lectures in Weeks 7–9: Turing Machines

Busy Beaver with 3 states