Synchronous-Asynchronous Cellular Computations

Operation of parallel substitutions over cellular arrays in synchronous-asynchronous mode is studied. Correctness conditions for parallel substitution systems in this mode of execution are stated.