Preguntas etiquetadas con formal-modeling

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 nos permite definir la …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

¿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 …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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 …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

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 igual que PM, …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

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 …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

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 reducción.

10 cc.complexity-theory  reductions  physics  formal-modeling 

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 …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

¿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, de modo que la ubicación de algún …

8 concurrency  process-algebra  formal-modeling