Domande taggate «context-free»

1
Gerarchia razionale di Eilenberg degli automi e delle lingue non razionali: dov'è adesso?
Nella prefazione ai suoi libri molto influenti Automi, Lingue e macchine (Volumi A, B), Samuel Eilenberg ha promesso in modo allettante Volumi C e D che trattano di "una gerarchia (chiamata gerarchia razionale) dei fenomeni non razionali ... usando le relazioni razionali come uno strumento di confronto. Gli insiemi razionali …
3
Esiste un'estensione delle espressioni regolari che cattura le lingue libere dal contesto?
In molti articoli che coinvolgono grammatiche senza contesto (CFG), gli esempi di tali grammatiche presentati spesso ammettono facili caratterizzazioni del linguaggio che generano. Per esempio: S →S→aaSbS→aaSbS \to a a S b S→S→S \to genera ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a …
1
Caratterizzazione di
È una prova standard nei corsi di automi che per e | Σ | ≥ 2 che S ( L ) = { w w : w ∈ L } non è un linguaggio privo di contesto.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} È anche vero …
1
I DPDA senza
Nella descrizione formale di Deterministic Pushdown Automata, consentono mosse, in cui la macchina può far apparire o spingere simboli nello stack senza leggere un simbolo dall'input. Se queste ϵ mosse non sono consentite e lo stack può essere modificato solo una volta dopo aver letto ogni simbolo, gli automi risultanti …
1
Esistono varianti di automi pushdown visibilmente che consentono di spingere le parole nello stack?
Mi chiedo, ci sono documenti o ricerche che trattano di automi pushdown visibilmente, ma che permettono alle parole, piuttosto che alle singole lettere, di essere inserite nella pila. In alternativa, una costruzione che consentiva di spingere i simboli ϵϵ\epsilontransizioni ϵ potrebbe raggiungere lo stesso obiettivo. Ovviamente, tali variazioni possono essere …
2
Frasi di permutazione con analisi LR
Una frase di permutazione è un'estensione delle definizioni grammaticali standard di contesto (E) BNF: una frase di permutazione contiene n produzioni (o equivalentemente, non terminali) da A 1 a A{ A1, ... , An}{UN1,...,UNn}\{ A_1, \dots, A_n \}nnnUN1UN1A_1 . Nella posizione della frase di permutazione, vorremmo vedere ognuna di queste …
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.