La complejidad del prefijo de Kolmogorov (es decir, K(x)K(x)K(x) es el tamaño del programa mínimo de auto delimitación que genera xxx ) tiene varias características agradables: Corresponde a una intuición de dar cadenas con patrones o estructura de menor complejidad que las cadenas sin ellas. Que...
¿Puedes modelar transmisiones confiables en el cálculo pi? ¿Si es así, cómo? Si no es así: ¿hay álgebras de proceso similares donde puedas? Lo que he intentado: Si el remitente quiere enviar un mensaje y a todos los P 1 a P n , ¡podría escribir ! ( ¯ x y ) . S y x ( z ) . P 1 a x ( z ) . P...
Encontré que los sistemas de transición etiquetados son un buen modelo para mi aplicación, es decir, hay un documento sobre modelos de casos de uso con LTS. La pregunta es, ¿qué se puede probar fácilmente sobre los LTS? Me gustaría reutilizar las soluciones existentes para ver si son útiles para mi...
Estoy traduciendo un libro sobre LISP y, naturalmente, toca algunos elementos del cálculo . Entonces, una noción de extensionalidad se menciona allí junto con algunos modelos de cálculo λ , a saber: P ω y D ∞ (sí, con el infinito en la parte superior). Y se dice que P ω es extensional mientras que...
Estoy en posesión de un libro que, inspirado en los Principia Mathematica (PM) de Russell y el positivismo lógico, intenta formalizar un dominio específico determinando axiomas y deduciendo teoremas de ellos. En resumen, intenta hacer por su dominio lo que PM intentó hacer por las matemáticas. Al...
Estoy buscando ejemplos de problemas difíciles (en NP o más difíciles) de la informática que pueden reducirse a modelos de procesos físicos. Por ejemplo, max-2-sat se puede reducir a minimización de energía en un modelo Ising. Me gustaría encontrar más ejemplos de este tipo de...
Esta es una pregunta que hice en el foro de matemáticas SE, y me remitieron aquí. Así que aquí está la cuestión- Soy un novato tanto en matemática formal como en informática teórica, así que por favor tengan paciencia conmigo si encuentran que mi pregunta no está bien formulada. El modelado...
¿Alguien sabe de algún formalismo algebraico (o relacionado) de proceso que capture información de ubicación detallada? Estoy familiarizado con los ambientes y bigrafos, que obviamente tienen un modelo de ubicación, pero ¿qué pasa con los intentos de modelar información de ubicación más concreta,...