Informatica teorica automata-theory

1

Crescita comparata del numero di classi sintattiche e classi Nerode.

Per una lingua L ⊆ Σ ^ * , definire la congruenza sintattica ≡ di L come la minima congruenza su Σ ^ * che satura L , cioè: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Definire ora l' equivalenza di Nerode come …

16 automata-theory fl.formal-languages

2

Esiste un'operazione di divisione ben definita su automi finiti?

Sfondo: Dati due automi finiti deterministici A e B, formiamo il prodotto C lasciando che gli stati in C siano il prodotto cartesiano degli stati in A e degli stati in B. Quindi, scegliamo transizioni, stato iniziale e stati finali in modo che la lingua accettata da C è l'intersezione …

15 fl.formal-languages automata-theory dfa

2

Büchi automi con strategia di accettazione

Il problema Let essere un automa Büchi, riconoscendo un linguaggio L ⊆ Σ w . Assumiamo che A ha una strategia di accettazione nel senso seguente: v'è una funzione σ : Σ * → Q , che può essere utilizzato per corse pilota di A . Lo formalizziamo alle seguenti …

15 fl.formal-languages automata-theory regular-language nondeterminism

1

Nuova prova del pompaggio del lemma per le lingue normali

Sia la famiglia di tutte le lingue oltre Σ soddisfacendo la proprietà di pompaggio delle lingue normali. Vale a dire: per ogni L ∈ L , c'è una N ∈ N st ogni parola w ∈ L , | w | > N può essere scritto nel formato w = …

14 reference-request fl.formal-languages automata-theory

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 …

14 automata-theory regular-language regular-expressions

2

Regolare contro TC0

Secondo il Complexity Zoo , e sappiamo che non può contare così . Tuttavia non dice se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} o no. Dato che non conosciamo \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} non conosciamo \ …

14 cc.complexity-theory fl.formal-languages automata-theory circuit-complexity regular-language

2

Gli automi XOR (NXA) per i linguaggi finiti beneficiano dei cicli?

Un Xor autata non deterministico (NXA) è sintatticamente un NFA, ma si dice che una parola sia accettata da NXA se ha un numero dispari di percorsi accettanti (invece di almeno un percorso accettante nel caso NFA). È facile vedere che per un linguaggio regolare finito LLL , esiste un …

14 fl.formal-languages automata-theory nondeterminism minimization

4

L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?

Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …

14 domain-theory haskell extensionality cc.complexity-theory counting-complexity fl.formal-languages automata-theory cc.complexity-theory arithmetic-circuits it.information-theory shannon-entropy graph-theory pr.probability graph-theory approximation-algorithms approximation-hardness multicommodity-flow cc.complexity-theory ds.algorithms np-hardness polynomial-time dynamic-programming lo.logic terminology

3

Il significato della complessità dello stato negli automi e nelle lingue normali?

Sto leggendo " Concatenazione di lingue regolari e complessità descrittiva " di Galina Jiraskova, 2009 sulla complessità dello stato risultante dalla concatenazione di due lingue regolari (di Galina Jiraskova), ma non riesco a capire quali sarebbero le implicazioni pratiche della complessità dello stato . Il primo banale pensiero che mi …

14 fl.formal-languages automata-theory regular-language

3

Sulla realizzazione di monoidi come monoidi sintattici delle lingue

Sia un linguaggio, quindi definiamo la congruenza sintattica come u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L e il quoziente monoide X ∗ / ∼ L è chiamato monoid sintattica di L .L⊆X∗L⊆X∗L \subseteq …

14 fl.formal-languages automata-theory regular-language algebra monoid

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 …

13 automata-theory regular-language

1

Complessità del problema delle parole con meno lettere distinte accettate da un automa finito

Dato un finito (deterministico o non deterministico, non credo che questo abbia molta importanza) automa A e una soglia n , A accetta una parola contenente al massimo n lettere distinte? (Per k lettere diverse intendo che aabaa ha due lettere distinte, a e b .) Ho mostrato che questo …

13 cc.complexity-theory np-hardness automata-theory

4

(N) DFA con lo stesso stato iniziale / accettante

Cosa si sa della classe di lingue riconosciute dagli automi finiti che hanno lo stesso stato iniziale e accettante? Questo è un sottoinsieme proprio delle lingue normali (poiché ogni lingua del genere contiene la stringa vuota), ma quanto è debole? Esiste una semplice caratterizzazione algebrica? Idem per le lingue riconosciute …

13 fl.formal-languages automata-theory algebra regular-language

1

Prodotto a catena di matrice booleana sparsa veloce

Quindi, ho circa 100-200 matrici booleane quadrate molto sparse con lunghezza laterale ~ diverse dozzine e ho bisogno di calcolare il loro prodotto. So che se li moltiplico in serie, il prodotto di solito rimarrà scarso ad ogni passaggio. Esistono algoritmi di prodotti a catena di matrici che funzionano particolarmente …

13 ds.algorithms automata-theory matrix-product sparse-matrix

2

Perché lo stato di un FSM è tradizionalmente indicato con ?

Mentre insegnavo come implementare gli FSM usando circuiti logici sincroni, ho notato una coincidenza intrigante: sia nel mondo teorico CS, sia nel mondo dell'ingegneria elettrica, "stato" è tipicamente indicato con (e lo spazio di stato ). Ho chiesto prima su EE.sx , ma poi mentre cercavo un po 'questo argomento, …

13 automata-theory ho.history-overview

Domande taggate «automata-theory»