In such an application the sentences used become high level abstractions (conceptualisations) of computing procedures that are computer language and machine independent.
У таквој апликацији реченице коришћења постају апстракције високог нивоа (концептуализација) рачунских поступака где су компјутерски језик и машина независни.