Domande taggate «automata»

Domande su dispositivi matematici che leggono il simbolo di un flusso di input per simbolo e usano una mappa di transizione di stato per produrre un flusso di output, magari usando l'archiviazione secondaria.

4
Può un FSA contare?
Questa potrebbe essere una domanda sciocca. Sembra chiaro che un FSA, dato che è finito, può contare solo il numero di simboli nella sua stringa di input fino a un numero limitato dal numero dei suoi stati. Ma ora supponiamo di dotare l'FSA di funzionalità di output (ad es. Stampa). …
4
Star lingua libera vs. lingua normale
Mi chiedevo, poiché è esso stesso un linguaggio senza stelle, esiste un linguaggio normale che non è un linguaggio senza stelle? Potresti fare un esempio?a∗a∗a^* (da wikipdia ) Lawson definisce le lingue senza stelle come: Si dice che un linguaggio regolare sia privo di stelle se può essere descritto da …
1
Impossibile convertire da NFA a DFA
Ho un semplice problema di creare un DFA che accetta tutti gli input che iniziano con lettere doppie (aa, bb) o terminano con lettere doppie (aa, bb), dato è il set alfabetico del lingua data.Σ={a,b}Σ={a,b}\Sigma =\{a, b\} Ho provato a risolverlo in modo circolare: Generare un'espressione regolare Realizzare il corrispondente …
1
Inferenza dei tipi di perfezionamento
Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
Matematica per TCS major
Sto cercando una specializzazione in Teorica Informatica; in particolare, sono interessato alla teoria della complessità e alla teoria degli automi probabilistici. Mentre mi sto laureando in un anno, quali corsi avanzati di matematica (come la teoria di Galois o l'analisi armonica, per esempio) pensi che sarebbe utile prendere in carico …
1
Come dimostrare che i loop ε non sono necessari nei PDA?
Nel contesto della nostra indagine sugli automi di heap , vorrei dimostrare che una particolare variante non può accettare linguaggi non sensibili al contesto. Poiché non abbiamo un modello grammaticale equivalente, ho bisogno di una prova che usi solo automi; pertanto, devo dimostrare che gli automi di heap possono essere …
2
Ottimo risolutore di labirinti miopi
Stavo scherzando con la demo di Google Blocky Maze e mi sono ricordato della vecchia regola che se vuoi risolvere un labirinto, tieni semplicemente la mano sinistra contro il muro. Funziona con qualsiasi labirinto collegato in modo semplice e può essere implementato da un trasduttore finito. Lascia che il nostro …
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.