1: \begin{abstract}

2: \emph{What is computable with limited resources?}

3: \emph{How can we verify the correctness of computations?}

4: \emph{How to measure computational power with precision?}

5: Despite the immense scientific and engineering progress in computing, we still have only partial answers to these questions.

6: In order to make these problems more precise, we describe an abstract algebraic definition of classical computation, generalizing traditional models to semigroups.

7: The mathematical abstraction also allows the investigation of different computing paradigms (e.g.~cellular automata, reversible computing) in the same framework.

8: Here we summarize the main questions and recent results of the research of finite computation.

9: \end{abstract}