Domande taggate «formal-modeling»

5
Varianti calcolabili in modo efficiente della complessità di Kolmogorov
La complessità del prefisso di Kolmogorov (ovvero è la dimensione del programma di auto-delimitazione minimo che genera ) ha diverse caratteristiche interessanti:xK( x )K(x)K(x)Xxx Corrisponde all'intuizione di dare alle stringhe con schemi o struttura una complessità inferiore rispetto alle stringhe senza. Esso ci permette di definire la complessità condizionale , …
6
Quali sono le proprietà praticamente calcolabili dei sistemi di transizione etichettati?
Ho trovato che i sistemi di transizione etichettati sono un buon modello per la mia applicazione, in particolare c'è un documento sulla modellizzazione dei casi d'uso usando LTS. La domanda è: cosa può essere facilmente dimostrato sugli LTS? Vorrei riutilizzare le soluzioni esistenti per vedere se sono utili per la …
2
Quale paradigma di dimostrazione del teorema automatizzato è appropriato per la formalizzazione in stile Principia Mathematica?
Sono in possesso di un libro che, ispirato al Principia Mathematica (PM) di Russell e al positivismo logico, tenta di formalizzare un dominio specifico determinando gli assiomi e deducendone i teoremi. In breve, tenta di fare per il suo dominio ciò che PM ha tentato di fare per la matematica. …
1
Estensione dei modelli di calcolo lambda
Sto traducendo un libro su LISP e naturalmente tocca alcuni elementi del calcolo . Quindi, una nozione di estendibilità è menzionata lì accanto ad alcuni modelli di -calculus, vale a dire: e (sì, con l'infinito in alto). E si dice che sia estensivo mentre no.λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Ma ... stavo guardando attraverso …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.