0572-ACL. Análisis de Criterio Lógico Disciplina situada en la frontera de la inteligencia artificial y la psicología. Se ocupa de construir modelos informáticos de los procesos cognitivos humanos y se basa en la analogía entre la mente humana y los programas informáticos. Se considera al cerebro y al ordenador como sistemas universales de manipulación de símbolos, capaces de ejecutar procesos de programación.

0591-FP. Funciones parciales

Las funciones parciales se representan en forma natural. Cuando se dan definiciones recursivas en funciones, la definición puede, a veces, envolver ciertos parámetros. Las definiciones de funciones pueden producir desbordamientos o situaciones de excepción. En estos casos, resulta conveniente referirse a funciones parciales.

0603-VM. Verificadores

Verificador mecánico; verificador mecanizado; verificador automatizado; verificador automático; comprobador mecanizado; comprobador automatizado. Sistema que proporciona asistencia automatizada a la producción de una prueba de corrección de programas. Normalmente, un sistema de este tipo consta de dos partes distintas; un generador de condición de verificación y un comprobador de teoremas. El primero se ocupa de generar los teoremas que deben ser probados para demostrar que las condiciones previas y posteriores son compatibles con la semántica de las instrucciones con que se relacionan. El comprobador de teoremas prueba estas condiciones de verificación.

Los distintos verificadores mecánicos varían considerablemente en sus posibilidades. Un sistema relativamente sencillo puede necesitar que los asertos con toda la información pertinente se intercale entre cada par de instrucciones sucesivas (simples o compuestas) y presenten al usuario unas condiciones de verificación no triviales para realizar la prueba manual; a veces, este sistema es llamado comprobador de asertos. Un verificador mecánico es complicado requiere solamente asertos mayores para unirlos antes de la verificación (quizá únicamente el aserto de entrada y el de salida) y puede generar sus propios asertos intermedios si es necesario. Además, el comprobador de teoremas puede probar condiciones complejas d verificación, quizá presentado solo el lema ocasional al usuario para su confirmación.

Autómata de estado finito (máquina de estado finito); autómata finito. Una clase sencilla de autómata. La cadena de entrada se lee una vez de izquierda a derecha, mirando cada símbolo por turno. Siempre el FSA posee un estado interno, se cambia después de que lee cada símbolo de entrada. El nuevo estado depende, en primer lugar, del símbolo que se acaba de lee y, en segundo lugar, del estado en el momento. Por consiguiente, un FSA se determina por una función f de 1 x Q a Q, donde 1 representa el conjunto de símbolos posibles de entrada, Q es el conjunto de estados, e 1 x Q es el producto cartesiano de 1 y Q. Q debe ser finito, de aquí la denominación de autómata de estado finito.

0614-GC. Grafos, conjuntos

Conjunto no vacío pero finito de vértices (o nodos) junto con un conjunto de aristas que unen pares de vértices distintos. Si una arista e une los vértices

v y v₂

se dice que

v y v₂ inciden en e y que dichos vértices son adyacentes;

e es el par no ordenado (v, v₂)

Generalmente, un grafo se expresa en forma gráfica, apareciendo los vértices como puntos o de otra manera, quizá etiquetados con objetos de su identificación, y las aristas son líneas que los puntos adecuados. Si se añade la dirección de cada arista, se obtiene un grafo orientado. Las aristas contribuyen a un conjunto finito de pares ordenados de vértices distintos y a veces son llamadas arcos. Cuando no se especifica ninguna dirección, se dice que el grafo no es orientado.

Aunque son útiles visualmente, estas representaciones no resultan adecuadas para su tratamiento por el ordenador. La representaciónes más útiles usan una matriz de incidencia o una de adyacencia.

Los grafos se emplean en una gran variedad de formas; generalmente, los vértices representarán objetos de alguna clase y las aristas conexiones de naturaleza física o lógica, entre los vértices. Así, los grafos pueden usarse para modelar de forma matemática objetos tan diversos como un ordenador y todos los periféricos unidos a él, una red de ordenadores, árboles de análisis sintáctico, dependencias lógicas entre subrutinas o no terminales en una gramática, diagramas VLSI, y elementos relacionados en bases de datos. Los arboles y las listas constituyen las clases especiales de grafos. Existen ciertas variaciones en la definición de un grafo. Hay cierta controversia acerca de si una arista puede unir un vértice consigo mismo, si están comprendidos los conjuntos vacíos, si está permitido el número infinito de vértices y de aristas, y así sucesivamente.

De una función f . Conjunto de todos los pares ordenados (x,y) con la propiedad de que y = f(x). Con frecuencia, dicho grafo está representado por una curva.

Árbol sintáctico; árbol de análisis sintáctico. Árbol que define la estructura sintáctica de una sentencia en un lenguaje independiente del contexto. Los nodos interiores están etiquetados por no terminales de la gramática independiente del contexto; los descendientes de un nodo etiquetado por A, por ejemplo, escriben de izquierda el lado el lado derecho de alguna producción que tiene el lado izquierdo A. Los nodos de las hojas de un árbol sintáctico pueden ser terminales o no terminales. Si todas las hojas son terminales escriben de izquierda a derecha una sentencia del lenguaje. Puede verse un ejemplo de árbol sintáctico en un diagrama. Se supone que la gramática en cuestión tiene producciones.

A —› BC, B —› b, C —› cc

Hay que hacer notar que, convencionalmente la parte superior del es su raíz y la parte inferior son sus hojas. Por regla general, una primera etapa en la compilación de un de un programa consiste en generar un árbol sintáctico en el que las estructuras lingüísticas que forman el programa son expresadas en función de la sintaxis del lenguaje de la programación.

0624-CU. Cuantificador, cuantificación

Proceso que consiste en construir una representación discreta de una cantidad que, por regla general, es considerada como continua. Por ejemplo, la medida de la amplitud de una señal a intervalos discretos de tiempo, cuando la señal aparece sobre tiempo continuo, es llamada cuantificación de tiempo, o muestreo; la medida del brillo de los elementos de la imagen (pixeles) en una imagen de espacio continuo se denomina cuantificación del espacio, pixelización.

El término cuantificación sin la aserción de tiempo espacio, se refiere, generalmente, a la cuantificación de la amplitud; lo mismo se amplia a la digitalización, que es casi sinónimo de cuantificación.

Uno de los dos símbolos " o $ utilizados en el cálculo de predicados. " es cuantificador universal y se lee "para todo". $ es el cuantificador existencial y se lee "existe" o "para algunos". En ambos casos, se hace referencia a valores posibles de la variable v que el cuantificador introduce. "v.F indica que la formula F es verdadera para todos los valores de v en tanto que $v.F indica que F es verdadera para al menos algún de v. Por ejemplo, supóngase que P(x,y) es el predicado "x es menor o igual a y". Entonces la expresión siguiente $x. "y.P(x,y) indica que existe una x que es menor o igual que todas las y. Esta afirmación es verdadera si los valores si los valores se extienden a los números naturales, ya que a x se le puede dar el valor 0. Sin embargo, resulta falsa si los valores si los valores se extienden también a los números enteros negativos. Hay que hacer notar, asimismo, que sería falsa incluso para números naturales si el predicado fuera "x es menor que y".

0676-CI. Código de inspección

Revisión llevada a cabo al finalizar la fase de codificación de un módulo. Se distribuye anticipadamente una especificación (y documentación de diseño) para módulo entre los miembro del modulo de inspección. Se recomienda que este equipo este formado por cuatro miembros. El programador del módulo explica el código de este al resto del equipo. Un moderador informa de los fallos detectados en el código y se asegura que no hay discusión de las correcciones. El diseñador del código y su verificador completan el equipo. Los fallos se corrigen fuera de la inspección, y puede tener lugar una nueva inspección supeditada a los objetivos de calidad adoptados.

0726-VM. Memoria virtual

Sistema en que un espacio de trabajo del proceso se mantiene parcialmente en una memoria de alta velocidad y, parcialmente, en un dispositivo de memoria auxiliar más lento y barato. Cuando el proceso se refiere a una posición de la menoría, el sistema detecta si esta posición se encuentra presente en la memoria de forma física, o no, y, en este último caso, genera una interrupción; esto permite que el supervisor del sistema transfiera el área requerida de los datos de la memoria auxiliar a la principal. Con este fin, el espacio de direcciones se subdivide en páginas que contienen, típicamente, 4 kilobytes de información. Las direcciones dentro de una página están definidas por 12 bits de poca significación en la dirección. Los bits de alto peso específico pueden ser considerados como el número de páginas; se utilizan para buscar una memoria asociativa que muestre la posición física dentro de la memoria de palabras cero (o nulas) de la página.

0738-TV. Terminal virtual

Terminal no física que se define como un superconjunto de las características de una clase de tipos de terminales físicos. El concepto de terminal virtual es análogo a la definición de un lenguaje del mundo no real al que puede traducirse, bilateralmente, un conjunto de lenguajes del mundo real.

En algunas redes de conmutación de paquetes, se realizan para emplear el concepto de terminal virtual como medio de realizar la traducción de protocolos entre terminales diferentes. En el nodo de entrada el mensaje es traducido al formato del terminal virtual, y en el nodo de salida es traducido de nuevo al protocolo del terminal receptor. La generalidad del concepto se encuentra algo limitada a causa de las características no traducibles de ciertos tipos de terminales con respecto a otros.