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 closure-properties - This is page 6 - GeneraCodice
Can the regular image of a context-free language be undecidable?
https://www.generacodice.com/en/articolo/1596631/can-the-regular-image-of-a-context-free-language-be-undecidable
formal-languages
-
regular-languages
-
context-free
-
closure-properties
cs.stackexchange
XOR of two NP-Complete languages
https://www.generacodice.com/en/articolo/1596063/xor-of-two-np-complete-languages
complexity-theory
-
np-complete
-
time-complexity
-
closure-properties
cs.stackexchange
context free grammar not closed under relative complement using product construction of pda and dfa
https://www.generacodice.com/en/articolo/1595477/context-free-grammar-not-closed-under-relative-complement-using-product-construction-of-pda-and-dfa
finite-automata
-
automata
-
pushdown-automata
-
closure-properties
cs.stackexchange
Does this proof work for infinite regular languages
https://www.generacodice.com/en/articolo/1594964/does-this-proof-work-for-infinite-regular-languages
formal-languages
-
regular-languages
-
closure-properties
cs.stackexchange
What happens during the DFA reversal construction if the initial state is final?
https://www.generacodice.com/en/articolo/1593422/what-happens-during-the-dfa-reversal-construction-if-the-initial-state-is-final
finite-automata
-
automata
-
closure-properties
cs.stackexchange
Using closure properties to show that $L_1=\{a^lb^mc^m|l,m\ge 0\} \cup L(b^*c^*)$ is regular or not
https://www.generacodice.com/en/articolo/1593095/using-closure-properties-to-show-that-l-1-a-lb-mc-m-l-m-ge-0-cup-l-b-c-is-regular-or-not
formal-languages
-
closure-properties
cs.stackexchange
Closure of a CFL under specific operation
https://www.generacodice.com/en/articolo/1592129/closure-of-a-cfl-under-specific-operation
pushdown-automata
-
computation-models
-
nondeterminism
-
context-free
-
closure-properties
cs.stackexchange
Complement of DPDA
https://www.generacodice.com/en/articolo/1590565/complement-of-dpda
pushdown-automata
-
closure-properties
cs.stackexchange
Closure property of recursively enumerable language
https://www.generacodice.com/en/articolo/1590547/closure-property-of-recursively-enumerable-language
computability
-
closure-properties
cs.stackexchange
Infinite Union of Recursive language
https://www.generacodice.com/en/articolo/1590191/infinite-union-of-recursive-language
formal-languages
-
context-free
-
closure-properties
cs.stackexchange
«
3
4
5
6
7
8
»
Results found: 308