| http://www.w3.org/ns/prov#value | - - yes, if the tape is an infinite solid-colour tape, and the system is considered universal if the evolution of any Turing machine to any given number of steps can be deduced from the sequence of situations of the system by a process that can be proven in advance to halt (this shows that a system can be universal without input; I have not proven this yet, but based on my programming experience it s
|
