Domande taggate «formal-languages»

Domande relative a linguaggi formali, grammatiche e teoria degli automi

2
È il complemento di {ww | ...} senza contesto?
Definisci la lingua LLL come . In altre parole, contiene le parole che non possono essere espresse come una parola ripetuta due volte. è senza contesto o no?L={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLLL Ho provato a intersecare con , ma non riesco ancora a provare nulla. …
2
In che modo la parola "produzione" è diventata sinonimo della parola "regola" nel contesto dell'informatica?
Sto studiando linguaggi formali e sistemi di basi di produzione (sistemi di basi di regole) e sono un po 'confuso sul perché queste due parole "produzione" e "regola" significano la stessa cosa in così tanti contesti in Informatica. In lingua inglese non sembrano significare la stessa cosa. Non sono un …
3
problema indecidibile e la sua negazione è indecidibile
Molti problemi indecidibili "famosi" sono comunque almeno semidecidabili, con il loro complemento indecidibile. Un esempio soprattutto può essere l'arresto del problema e il suo complemento. Tuttavia, qualcuno può darmi un esempio in cui sia un problema che il suo complemento sono indecidibili e non semidecidibili? Ho pensato al linguaggio di …
1
che cos'è la semantica?
Ci sono molte lingue popolari. Ma gli informatici ci dicono che per capire il comportamento dei programmi in quelle lingue discutono in modo definitivo e inequivocabile del comportamento dei programmi (ad esempio, dimostrando la loro identità), dobbiamo tradurli in un altro linguaggio ben compreso. Chiamano tale linguaggio "una semantica". Gli …
2
Chiusura con il quoziente giusto con una lingua fissa
Mi piacerebbe molto il tuo aiuto per quanto segue: Per ogni fisso L2L2L_2devo decidere se esiste una chiusura con i seguenti operatori: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Le opzioni pertinenti sono: Le lingue regolari …
1
POSIX BRE può esprimere tutte le lingue regolari?
Sembra che le "Espressioni regolari di base" come definite da POSIX.1-2008 non supportano l'alternanza a|b(sebbene alcune implementazioni grep riconoscano la versione con escape, \|). Dato che le lingue normali sono chiuse in unione per definizione, ciò significa che POSIX BRE ha meno potere espressivo di un automa finito? O c'è …
4
Perché non c'è permutazione in Regexes? (Anche se le lingue normali sembrano essere in grado di farlo)
Il problema Non esiste un modo semplice per ottenere una permutazione con una regex. Permutazione: ottenere una parola w=x1…xnw=x1…xnw=x_1…x_n ("aabc") in un altro ordine, senza cambiare il numero o il tipo di lettere. Regex: espressione regolare. Per verifica: "Regex permutazioni senza ripetizioni" La risposta crea un codice JavaScript anziché una …
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.