NPDA, multi-tape turing
MACHINES
and L-systems.