(* Autor(s): Andrej Dudenhefner (1) Affiliation(s): (1) Saarland University, Saarbrücken, Germany *)
(* Undecidability Result(s): Uniform Boundedness of Deterministic, Length-preserving Stack Machines (SMNdl_UB) *)
Require Undecidability.StackMachines.Reductions.CM1_HALT_to_SMNdl_UB.

(* Undecidability of Uniform Boundedness of Deterministic, Length-preserving Stack Machines *)
Theorem SMNdl_UB_undec : undecidable SMNdl_UB.