Boundedness problems for Minsky counter machines

DOI10.1134/S1064562408040352MaRDI QIDQ5892524zbMATH OpenOpenAlexWikidataFDO

Authors E. V. Kuzmin, V. A. Sokolov, D. Yu. Chaly

Publication date 8 June 2011

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562408040352

zbMATH Keywords

boundednessdecidabilityMinsky counter machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(5)

• On the termination and structural termination problems for counter machines with incrementing errors
• On the termination problem for counter machines with incrementing errors
• ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS
• scientific article; zbMATH DE number 7471708 (Why is no real title available?)
• Unboundedness problems for machines with reversal-bounded counters

This page was built for publication: Boundedness problems for Minsky counter machines

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