Domande taggate «automata-theory»

Teoria degli automi, comprese macchine astratte, grammatiche, analisi, inferenza grammaticale, trasduttori e tecniche a stati finiti

10
I computer reali hanno solo un numero finito di stati, quindi qual è la rilevanza delle macchine di Turing rispetto ai computer reali?
I computer reali hanno una memoria limitata e solo un numero limitato di stati. Quindi sono essenzialmente automi finiti. Perché gli informatici teorici usano le macchine di Turing (e altri modelli equivalenti) per studiare i computer? Qual è lo scopo di studiare questi modelli molto più forti rispetto ai computer …
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 …
2
È {
È la lingua { } senza contesto o no?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Mi sono reso conto di aver incontrato quasi tutte le varianti di questa domanda con condizioni diverse sulla relazione tra i, je k, ma non questa. La …
4
Esistono macchine "piccole" che possono abbinare efficacemente le espressioni regolari?
È noto che un'espressione regolare può essere riconosciuta da un automa finito non deterministico di dimensioni proporzionali all'espressione regolare, o da un FA deterministico che è potenzialmente esponenzialmente più grande. Inoltre, data una stringa ed una regular expression , NFA può testare l'appartenenza a tempo proporzionale ae il DFA può …
2
Quanti DFA accettano due stringhe specifiche?
Correggi un numero intero nnn e un alfabeto Σ={0,1}Σ={0,1}\Sigma=\{0,1\} . Definire DFA(n)DFA(n)DFA(n) come raccolta di tutti gli automi a stati finiti su nnn stati con stato iniziale 1. Stiamo prendendo in considerazione tutti i DFA (non solo quelli connessi, minimi o non degenerati); quindi, |DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n . Ora considera …
2
Condizioni per l'universalità NFA
Considera un automi finito non deterministico e una funzione . Inoltre definiamo .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Ora analizziamo la seguente dichiarazione: Se , quindi .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* È facile dimostrare che per è vero, quindi se gli automi …
4
Esiste un modello di calcolo non completo di Turing il cui problema di arresto è indecidibile?
Non riesco a pensare a un tale modello, forse a qualche forma di calcolo lambda tipizzato? qualche automa cellulare elementare? Ciò confuterebbe quasi il "Principio dell'equivalenza computazionale" di Wolfram: Quasi tutti i processi che non sono ovviamente semplici possono essere visti come calcoli di raffinatezza equivalente
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.