Vi beskriver nu beräkningsgången matematiskt och inför följande beteckningar .