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 150 - GeneraCodice
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
Optimal myopic maze solver
https://www.generacodice.com/en/articolo/1096676/optimal-myopic-maze-solver
artificial-intelligence
-
finite-automata
-
automata
cs.stackexchange
Decide whether a context-free languages can be accepted by a deterministic pushdown automaton
https://www.generacodice.com/en/articolo/1096273/decide-whether-a-context-free-languages-can-be-accepted-by-a-deterministic-pushdown-automaton
automata
-
pushdown-automata
-
context-free
cs.stackexchange
Relation between simple and regular grammars
https://www.generacodice.com/en/articolo/1096251/relation-between-simple-and-regular-grammars
automata
-
formal-grammars
-
regular-languages
-
context-free
cs.stackexchange
DFA with limited states
https://www.generacodice.com/en/articolo/1095857/dfa-with-limited-states
finite-automata
-
automata
-
formal-languages
-
regular-languages
cs.stackexchange
Are there undecidable properties of non-turing-complete automata?
https://www.generacodice.com/en/articolo/1095778/are-there-undecidable-properties-of-non-turing-complete-automata
computability
-
automata
-
undecidability
cs.stackexchange
«
147
148
149
150
151
152
»
Results found: 1556