"formell representasjon" er et 22-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: En presis representasjon av data eller konsepter.