Definition talk:Nondeterministic Turing Machine

We should be able to define a page nesting structure so that the NDTM transcludes the TM or (if TM \nsubseteq NDTM transclude their intersection into both) but that will be a big challenge that should probably wait until we have unpacked the total structure of a TM into its component details. Reductionism FTW. :-) --prime mover (talk) 18:53, 3 March 2023 (UTC)