Domande taggate «regular-language»

Domande sui linguaggi formali che possono essere descritti da espressioni regolari (nel senso di Kleene) o, equivalentemente, sui linguaggi che possono essere accettati da automi finiti.

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 …
4
Gerarchie in lingue regolari
Esiste una gerarchia "simpatica" nota (può essere finita) all'interno della classe delle lingue regolari ? Di bello qui, le classi in ciascuna gerarchia catturano espressività / potenza / complessità diverse. Inoltre, l'appartenenza a ciascuna classe è "ben dimostrata" da alcuni elementi (diversamente dal problema dell'altezza delle stelle che può essere …
2
Apprendimento degli automi senza controesempi
Nel framework di apprendimento degli automi di Angluin , uno studente mira a imparare una lingua regolare L ⊆ Σ*L⊆Σ*L\subseteq \Sigma^* ponendo due tipi di domande al suo insegnante: Query di parole: dato w ∈ Σ*w∈Σ*w\in \Sigma^* , è w ∈ Lw∈Lw\in L ? Domande di equivalenza: data una lingua …
1
Distanza tra le lingue normali
Voglio definire una nozione di "vicinanza" tra due lingue regolari di parole finite in Σ*Σ*\Sigma^* (e / o parole infinite in ΣωΣω\Sigma^\omega ). L'idea di base è che vogliamo che due lingue siano vicine se non differiscono per molte parole. Potremmo anche usare la distanza di modifica in qualche modo …
1
Complessità parametrizzata dell'inclusione delle lingue regolari
Sono interessato al classico problema INCLUSIONE LINGUA REGOLARE. Data un'espressione regolare , indichiamo con L ( E ) il linguaggio regolare ad esso associato. (Le espressioni regolari sono su un alfabeto fisso Σ , con l'unione delle operazioni, stella di Kleene e concatenazione.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: due espressioni regolari ed …
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.