Page 123 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

123

comunicación hombre máquina, enseñanza asistida, recuperación de información,
procesamientos, elaboración automática y generación de índices.

Los aspectos fundamentales serían:
• Riqueza en vocabulario y construcciones

• Flexibilidad de reglas con excepciones

• Ambigüedades

• Indeterminación

• Posibles interpretaciones

Este campo es llamado Lingüística computacional al igual que en el caso de los compiladores las
máquinas abstractas constituyen el núcleo de este campo.

Modelo de sistemas
La construcción de modelos es una actividad fundamental en el desarrollo de software y tiene
finalidades:

• Comprender mejor el problema que se va a resolver.

• Especificar un comportamiento deseado.

• Comunicar una estructura y descubrir oportunidades de simplificación y reutilización.

• Un modelo es una simplificación de la realidad que será capaz de cumplir una finalidad
en la medida que rescata las características esenciales del objeto.
Los modelos poseen tres dimensiones:

• Funcional

• Estática

• Dinámica

El lenguaje estándar aceptado es el UML que prevé:

• Casos de uso

• Diagrama de clases
• Diagrama de secuencia y diagramas de estado

Incorpora variantes:

• Estados jerarquizados o Estados compuestos

• Regiones ortogonales

• Representación gráfica

Implementación De Algoritmos