Domande taggate «fl.formal-languages»

linguaggi formali, grammatiche, teoria degli automi

1
La costante ambiguità può ridurre la complessità dello stato di una lingua normale?
Diciamo che NFA è costantemente ambiguo se esiste k ∈ N tale che qualsiasi parola w ∈ Σ ∗ è accettata da 0 o (esattamente) k percorsi.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se l'automa è costantemente ambiguo per k = 1 , allora M è chiamato FA non ambiguo (UFA).MMMk=1k=1k=1MMM Sia un linguaggio …
2
Quanto può essere piccolo un NFA, rispetto al minimo Unambiguous Finite Automaton (UFA) della stessa lingua normale?
Gli automi finiti non ambigui (UFA) sono tipi speciali di automi finiti non deterministici (NFA). Un NFA è chiamato inequivocabile se ogni parola ha al massimo un percorso di accettazione.w ∈ Σ*w∈Σ*w\in \Sigma^* Ciò significa che .D FA ⊂ UFA ⊂ NFUNDFUN⊂UFUN⊂NFUNDFA\subset UFA\subset NFA Risultati noti dell'automa correlato: La minimizzazione …
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 …
3
Lingue irriducibili
Questa non è necessariamente una domanda di ricerca. Solo una domanda per curiosità: Sto cercando di capire se si possono definire lingue "irriducibili". Come prima ipotesi, chiamo una lingua L "riducibile" se può essere scritta come con e , altrimenti chiamerei la lingua "irriducibile". È vero:L=A⋅BL=A⋅BL = A \cdot B| …
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.