Turing machine and its symbolic simulation

zbMATH Open1265.68072MaRDI QIDQ3144250FDOQ3144250

Predrag S. Stanimirović, Miroslav Ćirić, Marko D. Petković, Saša V. Vukašinović

Publication date: 7 December 2012

Recommendations

• On Formalisms for Turing Machines
• Deterministic simulation of non-deterministic Turing machines (detailed abstract)
• Improved simulation of nondeterministic Turing machines
• Turing machines. Introduction to the characterization of the complexity of a problem
• Improved simulation of nondeterministic Turing machines

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04)

Cited In (5)

• Turing Machine-Inspired Computer Science Results
• On Formalisms for Turing Machines
• Title not available (Why is that?)
• New Computational Paradigms
• Title not available (Why is that?)

Uses Software

• Mathematica

This page was built for publication: Turing machine and its symbolic simulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144250)