1: \begin{abstract}

2: \noindent

3: To study 

4: %structural and symmetry properties of 

5: discrete dynamical systems of different 

6: types --- {deterministic}, {statistical} and {quantum} 

7: --- we develop various approaches.%

8: We introduce the concept of a system of discrete relations 

9: on an abstract simplicial complex and develop  algorithms 

10: for~ analysis of compatibility and construction of canonical 

11: decompositions of such systems. To illustrate these techniques 

12: we describe their application to some cellular automata.

13: %\par 

14: Much attention is paid to study symmetries of the systems.

15: In the case of deterministic  systems, we reveal some important

16: relations between symmetries and dynamics. 

17: We demonstrate that moving soliton-like structures 

18: %--- 

19: %like ``\textit{spaceships}'' in cellular automata, ``\textit{traveling waves}'' 

20: %in mathematical physics and ``\textit{generalized coherent states}'' in quantum physics 

21: %--- 

22: arise inevitably in deterministic dynamical system whose symmetry 

23: group splits the set of states into a finite number of group orbits.

24: %\par 

25: We develop algorithms and programs exploiting discrete symmetries to study

26: {microcanonical ensembles} and search {phase transitions} in mesoscopic 

27: lattice models.

28: %\par   

29: We propose an approach to quantization of discrete systems

30: based on introduction of gauge connection with values in unitary 

31: representations of {finite}  groups 

32: --- the elements of the connection are interpreted as amplitudes of quantum transitions.

33: We discuss properties of a quantum description of finite systems. In particular, we demonstrate

34: that a finite quantum system can be embedded into a larger classical system.  

35: Computer algebra and computational group theory methods were useful tools in our study. 

36: \end{abstract}