Abstract

Some of the fundamental problems concerning cellular automata (CA) are as follows: ― Are linear-time CA (lCA) more powerful than real-time CA (rCA)? ― Are nonlinear-time CA more powerful than linear-time CA? ― Does one-way communication reduce the power of a CA? These question have been open for a long time. In this paper, we address these questions with respect to tally languages in relativised worlds, interpreting timevarying CA (TVCA) as orale machines. We construct ― oracles with separate rCA from lCA and lCA from CA, ― oracle classes under which the CA classes coincide, and ― oracle which leave the CA classes unchanged. Further, with rCA and lCA at the base, we build a hierarchy of relativised CA complexity classes between rCA and CA, and study the dependencies between the classes in this hierarchy

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call