Chiedi anche a qualcuno con un background nell'informatica quale sia un'espressione regolare e la risposta probabilmente andrà oltre il vincolo di essere alla portata di un automa a stati finiti. Ad esempio, l '"espressione regolare" /^1?$|^(11+?)\1+$/ creato dalla nota personalità del Perl Abigail (e parte della suite di test del …
Qualcuno osa tentare di chiarire qual è la relazione tra questi campi di studio o forse dare una risposta più concreta a livello di problemi? Come quale include quale assumendo alcune formulazioni ampiamente accettate. Se ho capito bene, quando passi da SAT a SMT stai praticamente entrando nel campo del …
In un paio di domande recenti ( q1 q2 ), si è discusso di "Teoria A" vs "Teoria B", apparentemente per cogliere il divario tra lo studio della logica e dei linguaggi di programmazione e lo studio degli algoritmi e della complessità. Questa terminologia era nuova per me e una …
Dato che Lambda the Ultimate non ha ricevuto alcuna risposta, la provo di nuovo qui: i sistemi di riscrittura dei termini sono usati ad esempio nel teorema automatizzato che dimostra un calcolo simbolico e, naturalmente, per definire grammatiche formali. Esistono alcuni linguaggi di programmazione basati sulla riscrittura dei termini, ma …
Ci sono problemi in CS in cui non sono noti algoritmi efficienti, nonostante esistano teoremi che dimostrano l'esistenza di algoritmi così efficienti? Come si chiamano questi problemi? Dove posso saperne di più?
Mi dispiace, se questa è una domanda ingenua, ma non sono riuscito a trovare la giustificazione in nessuno dei principali libri di testo come Bondy-Murty, Diestel o West. I grafici perfetti hanno molte proprietà meravigliose, ma qual è l'unica ragione per cui sono chiamati perfetti? O è solo una preferenza …
Prendi un grafico diretto dove i bordi sono decorati con un numero naturale. Vogliamo l'insieme di tutti i percorsi P tra due vertici v 1 e v 2 in modo tale che ogni bordo successivo nel percorso sia decorato con un numero naturale maggiore del numero naturale che decora il …
Una delle cose straordinarie dell'informatica è che l'implementazione fisica è in un certo senso "irrilevante". Le persone hanno costruito con successo computer da diversi substrati diversi: relè, tubi a vuoto, transistor discreti, ecc. Le persone potrebbero presto riuscire a costruire computer completi di Turing con materiali ottici non lineari, varie …
Questa domanda riguarda la logica proposizionale e tutte le occorrenze di "risoluzione" devono essere lette come "risoluzione proposizionale". Questa domanda è qualcosa di estremamente semplice, ma mi ha infastidito per un po '. Vedo che le persone affermano che la risoluzione proposizionale è completa ma vedo anche che le persone …
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
Per molto tempo ho pensato che un problema fosse NP-completo se entrambi (1) NP-hard e (2) sono in NP. Tuttavia, nel famoso articolo "Il metodo dell'ellissoide e le sue conseguenze nell'ottimizzazione combinatoria" , gli autori sostengono che il problema del numero cromatico frazionario appartiene a NP ed è NP-difficile, ma …
Diciamo che una funzione f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} è costruibile nel tempo , se esiste una macchina di Turing multi-nastro deterministica MMM che su tutti gli input di lunghezza nnn fa al massimo f(n)f(n)f(n) passi e per ogni nnn esiste un input di lunghezza nnn su cui MMM esegue esattamente f(n)f(n)f(n) passi. Diciamo …
Attualmente sto ascoltando il discorso di Alan Kays "È davvero complesso o l'abbiamo semplicemente complicato?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) dove afferma che "i semafori erano una cattiva idea e c'era qualcosa chiamato pseudo tempo che era superiore" (alle 51:40 nel video collegato). Forse ho frainteso la parola "tempo pseudo", ma ne …
L'unica definizione di "calcolo" di cui sono a conoscenza è lo studio di limiti, derivati, integrali, ecc. In analisi. In che senso il calcolo lambda (o cose come mu calculus) è un "calcolo"? Come si collega al calcolo in analisi?
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.