Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información y la estadística.