This paper deals with the CREP (Configuration REachability Problem) for non-uniform cellular automata (CAs). The cells of CAs, we have considered here, can use different Wolfram’s rules to generate their next states. We report an algorithm which decides whether or not a configuration given (non-uniform) automaton is reachable from another configuration. develop characterization tool, named Reac...

application of backward probability method in pollutant source tracking in non-uniform flow riversalireza ghanem.sc. student of water structures, tarbiat modares university, tehranmehdi mazaheri assistant prof., department of water structures, tarbiat modares university, tehranjamal mohammad vali samaniprofessor, department of water structures, tarbiat modares university, tehranintroductionriv...