en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag automata - This is page 149 - GeneraCodice
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
Eliminating useless productions resulting from PDA to CFG converison
https://www.generacodice.com/en/articolo/1097217/eliminating-useless-productions-resulting-from-pda-to-cfg-converison
automata
-
formal-grammars
-
pushdown-automata
-
context-free
cs.stackexchange
How to prove that ε-loops are not necessary in PDAs?
https://www.generacodice.com/en/articolo/1096923/how-to-prove-that-ε-loops-are-not-necessary-in-pdas
automata
-
pushdown-automata
cs.stackexchange
Automata that recognizes Kleene closure of permutations of three symbols
https://www.generacodice.com/en/articolo/1096738/automata-that-recognizes-kleene-closure-of-permutations-of-three-symbols
finite-automata
-
automata
-
formal-languages
cs.stackexchange
«
146
147
148
149
150
151
»
Results found: 1556