Domande taggate «finite-automata»

Domande su automi finiti, un modello di automa elementare con memoria finita. È equivalente alle lingue normali e alla base di molti modelli più complessi.

4
Come convertire gli automi finiti in espressioni regolari?
La conversione di espressioni regolari in NFA (minimo) che accetta la stessa lingua è facile con algoritmi standard, ad esempio l'algoritmo di Thompson . L'altra direzione sembra essere più noiosa, tuttavia, e talvolta le espressioni risultanti sono disordinate. Quali algoritmi esistono per convertire NFA in espressioni regolari equivalenti? Ci sono …
6
Ci sono automi non finiti?
Nella teoria degli automi leggiamo tutti gli automi come automi finiti, fin dall'inizio. Quello che voglio sapere è, perché gli automi sono finiti? Per essere chiari, cosa c'è in un automa finito - l'alfabeto, la lingua, le stringhe fatte con espressioni regolari o cosa? E ci sono (in teoria) degli …
2
Lingue regolari planari
Nella mia classe uno studente ha chiesto se tutti gli automi finiti potevano essere disegnati senza attraversare i bordi (sembra che tutti i miei esempi lo facessero). Naturalmente la risposta è negativa, l'automa ovvio per la lingua {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} ha la struttura di …
2
Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?
Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
1
Come faccio a scrivere una prova usando l'induzione sulla lunghezza della stringa di input?
Nel mio corso di Teoria del calcolo, molti dei nostri problemi implicano l'uso dell'induzione sulla lunghezza della stringa di input per provare affermazioni sugli automi finiti. Capisco l'induzione matematica, tuttavia quando entrano in gioco le corde mi inciampo davvero. Lo apprezzerei davvero se qualcuno passasse attraverso il processo di realizzazione …
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.