This video shows that Post Machines are Turing Machines can define the same languages.
No download links available.
