Building a model of a useful Turing machine

DOI10.1016/S0898-1221(99)00319-3zbMath0970.68060WikidataQ126437245 ScholiaQ126437245MaRDI QIDQ1975337

Jerzy A. Piotrowski

Publication date: 9 April 2000

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

Turing machineuniversal computer

Mathematics Subject Classification ID

Uses Software

• Miranda

Cites Work

• A functional model of a simplified sequential machine
• Sequential and data flow models of processing
• Finite combinatory processes—formulation
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Building a model of a useful Turing machine