It is well known from other models of computation.
Jis yra gerai žinomas iš kitų apskaičiavimo modelių.