Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Qual è la differenza tra la riscrittura dei termini e la corrispondenza dei pattern?
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 …
6
Perché un ricercatore TCS avrebbe bisogno di finanziamenti?
Stavo leggendo questo . Dice ... Non ti ritroverai affamato di finanziamenti come Pure Mathematics. (Ti ritroverai sempre a morire di fame per il finanziamento.) ... Perché i puri matematici hanno bisogno di finanziamenti? (Ooops, la sua domanda mathoverflow) Perché qualcuno che fa ricerca teorica ha bisogno di finanziamenti? Penso …
5
Recuperare una foresta di analisi da un parser Earley?
Recentemente stavo leggendo sul parser Earley e penso che sia uno degli algoritmi più eleganti che abbia mai visto. Tuttavia, l'algoritmo nel suo senso tradizionale è un riconoscitore e non un parser, il che significa che può rilevare se una stringa corrisponde a un particolare CFG ma non produce un …
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.