operations
prefix
suffix
subset
proper
substring
successor function suffix
syntax of a programming language T
tape alphabet
tape of a Turing machine terminal constants terminal symbol theory of
computation time-complexity tracks on a tape tractable problems transducer
transition function extended
transition graph generalized
of a finite accepter of a pushdown automaton of a Turing machine trap state
trees
Turing-computable Turing machine
multidimensional with multiple tracks multitape
nondeterministic off-line
with semi-infinite tape standard
with stay-option universal
Turing's thesis U
unit-productions universal set
universal Turing machine unrestricted grammars useless productions V
variables
of a grammar
nullable
start
useless
vertex
final
initial
of a graph