Informatica teorica regular-language

1

È determinabile se la lunghezza di uscita di un trasduttore è limitata dalla lunghezza di ingresso?

I trasduttori considerati qui sono quelli che Wikipedia chiama trasduttori a stati finiti . Il comportamento di un trasduttore , cioè la relazione che calcola, è scritto : una parola è un output per iff .[ T ] y x x [ T ] yTTT[T][T][T]yyyxXxx[T]yX[T]yx[T]y Domanda: è il seguente problema …

10 ds.algorithms reference-request automata-theory regular-language dfa

1

Quale classe di lingue è riconosciuta dagli automi a stati finiti con

Un DFA o NFA legge attraverso una stringa di input con una sola testina, spostandosi da sinistra a destra. Sembra naturale chiedersi macchine a stati finiti che hanno più teste , ognuna delle quali si muove attraverso l'input da sinistra a destra, ma non necessariamente nello stesso punto dell'input delle …

10 fl.formal-languages automata-theory regular-language nfa

1

Generalizzazione dell'affermazione che un monoide riconosce la lingua se il monoide sintattico divide il monoide

Sia un alfabeto finito. Per un dato linguaggio il monoide sintattico è una nozione ben nota nella teoria del linguaggio formale. Inoltre, un monoide riconosce una lingua se esiste un morfismo tale che .L ⊆ A ∗ M ( L ) M L φ : A ∗ → M L …

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

1

Iscrizione monoidale di transizione per DFA

Dato un DFA completo , possiamo definire una raccolta di funzioni per ciascuna e con , . Possiamo generalizzare questa nozione a una parola e dove indica la composizione della funzione. Inoltre denotiamo e è monoide.A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\}GGG [ …

9 automata-theory regular-language monoid

1

Complessità nel verificare se due parole hanno un interfogliamento in una lingua

Per una lingua fissa sull'alfabeto A , consideriamo il seguente problema, che io chiamo L -INTERLEAVING :LLLUNAALLL Input: due parole u , v ∈ A*u,v∈A∗u, v \in A^* Resa: se esiste un interleaving di e v che è in L .uuuvvvLLL Qui, un interleaving di due parole e v è …

9 cc.complexity-theory reference-request regular-language

1

Linguaggi regolari e complessità della comunicazione costante

Let essere un linguaggio, e definire f L : A * × A * → { 0 , 1 } da F L ( x , y ) = 1 se e solo se x ⋅ y ∈ L . Sto cercando un riferimento per:L ⊆ A*L⊆A∗L \subseteq A^*fL: A*× …

9 reference-request communication-complexity regular-language

1

Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?

Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari? Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti …

9 automata-theory turing-machines regular-language space-bounded

Domande taggate «regular-language»