A Coinductive Animation of Turing Machines

DOI10.1007/978-3-319-15075-8_6MaRDI QIDQ2797865zbMATH OpenOpenAlexFDO

Authors Alberto Ciaffaglione

Publication date 1 April 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15075-8_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Turing machines, transition systems, and interaction
• Turing machines, transition systems, and interaction
• scientific article; zbMATH DE number 1738661
• scientific article; zbMATH DE number 1304993
• scientific article; zbMATH DE number 3924764
• scientific article; zbMATH DE number 1396672
• Involutory Turing machines
• Turing machines and bimachines
• Turing automata and graph machines
• The logic of Turing progressions

Cites work

• A coinductive semantics of the unlimited register machine
• Formalizing Turing Machines
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• Mechanised computability theory
• Mechanising Turing machines and computability theory in Isabelle/HOL
• Programming Languages and Systems
• The power of parameterization in coinductive proof

Cited in

(5)

• Formalizing abstract computability: Turing categories in Coq
• A coinductive semantics of the unlimited register machine
• Mechanising Turing machines and computability theory in Isabelle/HOL
• Elementary gates for cartoon computation
• A formalization of multi-tape Turing machines

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A Coinductive Animation of Turing Machines

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