Abstrakt
The aim of this paper is to give some overview over recent resulta concerning restarting automata, and to study the strenghtened restriction of monotonicity called 'strict monotonicity'.
The aim of this paper is to give some overview over recent resulta concerning restarting automata, and to study the strenghtened restriction of monotonicity called 'strict monotonicity'.