Domande taggate «reference-request»

Domande che richiedono articoli in letteratura su questioni specifiche e ristrette.

2
Cos'è la teoria della complessità strutturale?
Sono nuovo alla teoria della complessità e voglio sapere cos'è la teoria della complessità strutturale? quali sono i problemi che i teorici cercano di risolvere in questo campo e qual è il suo futuro? Da Wikipedia: La teoria della complessità strutturale o semplicemente la complessità strutturale è lo studio delle …
2
Nome corretto per un parser di discesa ricorsivo che utilizza loop per gestire la ricorsione a sinistra?
Questa grammatica è ricorsiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Quindi, in teoria, la discesa ricorsiva non funzionerà. Ma sfruttando le …
1
I linguaggi formali possono essere usati per studiare la notazione matematica?
Domanda: Esistono testi introduttivi nel linguaggio formale o nella teoria del linguaggio di programmazione che discutono su come applicarlo allo studio della notazione ottimale? In particolare, sono interessato a scoprire quali lingue stack, alberi di analisi e indici sono e come prevedere quando un determinato tipo di notazione porterà alla …
4
Informatica per programmatori
Sono un programmatore autodidatta e ho programmato per 8 anni. Grazie a questa esperienza, ho già molta familiarità con i principi della programmazione (come dichiarazioni if, classi, polimorfismo, ecc.). Tuttavia, non ho mai imparato "informatica", ma solo programmazione. Quali sono alcune buone risorse per qualcuno nella mia posizione di autoapprendimento …
1
Carta con la prova che
Queste diapositive illustrano una provaL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova. Mi chiedevo, qualcuno conosce un documento accademico o …
1
Il problema dell'universo per gli automi a un contatore con dimensioni alfabetiche limitate è indecidibile?
Considera il seguente problema dell'universo . Il problema dell'universo. Dato un set finito per una classe di lingue e un automa che accetta la lingua , decidere se .ΣΣ\SigmaLLLL =Σ*L=Σ*L=\Sigma^* In [1], si afferma e si dimostra che il problema dell'universo è indecidibile per una particolare classe di automi a …
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.