Tag automata - This is page 148 - GeneraCodice

Why isn't converting from an NFA to a DFA working?

https://www.generacodice.com/en/articolo/1101720/why-isn-t-converting-from-an-nfa-to-a-dfa-working

finite-automata - automata

cs.stackexchange

Is star closure of reverse of language equivalent to reverse of closure of that language

https://www.generacodice.com/en/articolo/1099264/is-star-closure-of-reverse-of-language-equivalent-to-reverse-of-closure-of-that-language

automata - formal-languages

cs.stackexchange

How to show that a “reversed” regular language is regular

https://www.generacodice.com/en/articolo/1098601/how-to-show-that-a-reversed-regular-language-is-regular

finite-automata - automata - formal-languages - regular-languages

cs.stackexchange

Cost in time of constructing and running an NFA vs DFA for a given regex

https://www.generacodice.com/en/articolo/1098149/cost-in-time-of-constructing-and-running-an-nfa-vs-dfa-for-a-given-regex

finite-automata - automata - regular-languages - compilers

cs.stackexchange

Is the set of minimal DFA decidable?

https://www.generacodice.com/en/articolo/1098089/is-the-set-of-minimal-dfa-decidable

computability - finite-automata - automata - formal-languages

cs.stackexchange

Is a push-down automaton with two stacks equivalent to a turing machine?

https://www.generacodice.com/en/articolo/1097781/is-a-push-down-automaton-with-two-stacks-equivalent-to-a-turing-machine

turing-machines - computability - automata - pushdown-automata

cs.stackexchange

Building a finite state transducer

https://www.generacodice.com/en/articolo/1097626/building-a-finite-state-transducer

finite-automata - automata

cs.stackexchange

Algorithm to translate a deterministic Büchi automaton to LTL (when possible)

https://www.generacodice.com/en/articolo/1097611/algorithm-to-translate-a-deterministic-buchi-automaton-to-ltl-when-possible

logic - automata - linear-temporal-logic - buchi-automata

cs.stackexchange

How to simulate backreferences, lookaheads, and lookbehinds in finite state automata?

https://www.generacodice.com/en/articolo/1097296/how-to-simulate-backreferences-lookaheads-and-lookbehinds-in-finite-state-automata

finite-automata - automata - regular-expressions

cs.stackexchange

Time to construct a GNBA for LTL formula

https://www.generacodice.com/en/articolo/1097251/time-to-construct-a-gnba-for-ltl-formula

logic - formal-methods - model-checking - automata - linear-temporal-logic

cs.stackexchange

Results found: 1556