Computational power of one-way turing machines with sublogarithmic memory restrictionsThis paper considers the well-known
Turing machine model, the
nondeterministic real-time
Turing Computational power of one-way turing machines with sublogarithmic memory restrictionsThis paper considers the well-known
Turing machine model, the
nondeterministic real-time
Turing A Short Essay towards if P not equal NP Turing machine and cannot be solved in polynomial time by any deterministic
Turing machine. The point
Nondeterministic unitary OBDDs© Springer International Publishing AG 2017.We investigate the width complexity of
nondeterministic On separating UML specified non-deterministic finite state machines with time-outsOn separating UML specified
non-deterministic finite state
machines with time-outs
Generating checking sequences for nondeterministic finite state machinesGenerating checking sequences for
nondeterministic finite state
machines Refining specifications in adaptive testing of nondeterministic finite state machines nondeterministic than its specification, so the reduction relation between
machines is the conformance relation
On classical simulation of quantum machinesWe present a classical probabilistic simulation technique of quantum
Turing machines. As a
On the length of homing sequences for nondeterministic finite state machinesOn the length of homing sequences for
nondeterministic finite state
machines