A formal semantics need not always provide such an implementation, though, and to believe that semantics must provide an implementation leads to confusion about the formal semantics of concurrent languages.
Όμως η τυπική σημασιολογία δε χρειάζεται πάντα να παρέχει μια τέτοια υλοποίηση, και η πίστη ότι η σημασιολογία πρέπει να δίνει μια υλοποίηση οδηγεί σε σύγχυση όσον αφορά την τυπική σημασιολογία των ταυτόχρονων γλωσσών.