¿Cuáles son las unidades de medida más comunes en informática y qué miden?

La informática, aunque es relativamente muy joven, es un campo vasto. La filosofía de la informática no es una entidad establecida por sí misma. Me tomé la libertad de copiar una frase de Wikipedia:
“Varios científicos informáticos han abogado por la distinción de tres paradigmas separados en informática. Peter Wegner argumentó que esos paradigmas son ciencia, tecnología y matemáticas. [25] El grupo de trabajo de Peter Denning argumentó que son teoría, abstracción (modelado) y diseño. [26] Amnon H. Eden los describió como el “paradigma racionalista” (que trata la informática como una rama de las matemáticas, que prevalece en la informática teórica, y principalmente emplea el razonamiento deductivo), el “paradigma tecnocrático” (que se puede encontrar en los enfoques de ingeniería, más prominentemente en la ingeniería de software) y el “paradigma científico” (que aborda los artefactos relacionados con la computadora desde la perspectiva empírica de las ciencias naturales, identificables en algunas ramas de la inteligencia artificial) “.
La mayoría de las entidades que medimos en este campo son abstractas. Hay algunas unidades establecidas para algunas entidades abstractas que medimos. Por ejemplo, la teoría de la complejidad computacional se ocupa de los atributos de complejidad temporal, complejidad espacial (por nombrar algunos) de un algoritmo que resuelve un problema particular. Por lo tanto, las unidades son el tiempo que toma cada paso y la cantidad de contenedores de datos utilizados por el algoritmo. Estos atributos se miden asintóticamente utilizando funciones matemáticas como [matemática] O (n), o (logn), etc. [/ matemática] n es número de pasos o número de objetos de datos. Usando el Análisis de Algoritmo podemos clasificar problemas computacionales. Podemos clasificarlos en P (problema resuelto algorítmicamente en tiempo polinomial), NP (resuelto algorítmicamente en tiempo polinomial no determinista), PSPACE (problema resuelto algorítmicamente en espacio polinomial, pero sin tener en cuenta cuánto tiempo lleva), EXPTIME (problema resuelto algorítmicamente en tiempo exponencial), categorías indecidibles (no se pueden resolver algorítmicamente). Entonces estamos midiendo el atributo de computabilidad de los problemas.
Hay algunas entidades en informática que son más abstractas y no hay unidades para medir sus atributos. Por ejemplo, la teoría de la computadora se ocupa de los modelos matemáticos que simulan las computadoras. Podemos explorar los atributos del modelo matemático. Como una computadora moderna, estos modelos matemáticos procesan la entrada. Intentaremos cuantificar esta entrada. La entrada se realiza desde Alphabet (un conjunto finito de símbolos indivisibles) al encadenarlos en todas las permutaciones posibles. La colección de cadenas de entrada que un modelo matemático puede procesar se llama Lenguaje. Por lo tanto, podemos definir el lenguaje como una colección de todas las cadenas posibles formadas por símbolos alfabéticos que el modelo matemático puede procesar con éxito. Entonces, la capacidad de procesamiento del modelo matemático se cuantifica en términos del lenguaje que acepta. Pero el lenguaje no es una unidad aceptable. Entonces vamos más allá. Este campo más o menos también se ocupa de la cuantificación de este lenguaje. El alfabeto es de tamaño finito seguro, pero el conjunto de idiomas es definitivamente de particular interés. Clasificamos el lenguaje por su tamaño como finito o infinito. Medimos los idiomas por la capacidad de definirlos usando expresiones regulares como Regular o No regular. Podemos describir el mismo lenguaje usando Gramática libre de contexto y esas gramáticas pueden ser regulares o no regulares también. Las propiedades / atributos del lenguaje se investigan y exploran, pero no se pueden cuantificar en unidades.
La informática se ocupa principalmente de modelos abstractos. Hay algunos atributos de entidades en el campo que son cuantificables, pero la mayoría de ellos no lo son.