ˈestos moðˈelos sˈon tˈam pɾeθˈisos kˌomo ˈun leŋɡwˈaxe mˈakina, kˌaɾeθjˈɛndo ðe ˌekspɾesjˈones kˌolokjˈales o ˌambiɣˌueðˈad; sin embˈaɾɣo, se mantjˈenen ˌindependjˈɛntes ðe kwalkjˈeɾ kˌomputaðˈoɾa i ðe kwalkjˈeɾ ˌimplemˌentaθjˈon.
Estos modelos son tan precisos como un lenguaje máquina, careciendo de expresiones coloquiales o ambigüedad; sin embargo, se mantienen independientes de cualquier computadora y de cualquier implementación.