Lenguajes formales

Lenguaje de alto nivel
La programación en un lenguaje de bajo nivel como el lenguaje de la máquina o el lenguaje simbólico tiene ciertas ventajas:
• Mayor adaptación al equipo.
• Posibilidad deobtener la máxima velocidad con mínimo uso de memoria.
Pero también tiene importantes inconvenientes:
• Imposibilidad de escribir código independiente de la máquina.
• Mayor dificultad en laprogramación y en la comprensión de los programas.
Por esta razón, a finales de los años 1950 surgió un nuevo tipo de lenguaje que evitaba los inconvenientes, a costa de ceder un poco en las ventajas.
Estoslenguajes se llaman “de tercera generación” o “de alto nivel”, en contraposición a los “de bajo nivel” o “de nivel próximo a la máquina”.
Principales lenguajes de alto nivel
• Ada • ALGOL • Basic •C (en realidad es un lenguaje de medio nivel). • C++ • CT • Clipper • Cobol • Fortran • Java • Lexico • Logo • Object Pascal • Pascal • Perl • PHP • PL/SQL • Python • Modula-2 • Lenguajes funcionaleso Haskell o Lisp
Lenguaje de medio nivel
Se dice del lenguajes de programación como C, que se encuentran entre los lenguajes de alto nivel y los lenguajes de bajo nivel. Estos lenguajes sonclasificados muchas veces de alto nivel, pero permiten ciertos manejos de bajo nivel. Son precisos para ciertas aplicaciones como la creación de sistemas operativos, ya que permiten un manejo abstracto(independiente de la máquina, a diferencia del ensamblador), pero sin perder mucho del poder y eficiencia que tienen los lenguajes de bajo nivel.
Una característica distintiva, por ejemplo, que conviertea C en un lenguaje de medio nivel y al Pascal en un lenguaje de alto nivel es que en el primero es posible manejar las letras como si fueran números (en Pascal no), y por el contrario en Pascal esposible concatenar las cadenas de caracteres con el operador suma y copiarlas con la asignación (en C es el usuario el responsable de llamar a las funciones correspondientes).
Lenguaje de bajo nivel...