Los lenguajes de especificación pueden dividirse en semi-formales y formales.