Matches in SemOpenAlex for { <https://semopenalex.org/work/W2398839412> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2398839412 endingPage "121" @default.
- W2398839412 startingPage "110" @default.
- W2398839412 abstract "We refine the classical notion of the nonterminal complexity of graph-controlled grammars, programmed grammars, and matrix grammars by also counting, in addition, the number of nonterminal symbols that are actually used in the appearance checking mode. We prove that every recursively enumerable language can be generated by a graph-controlled grammar with only two nonterminal symbols when both symbols are used in the appearance checking mode. This result immediately implies that programmed grammars with three nonterminal symbols where two of them are used in the appearance checking mode as well as matrix grammars with three nonterminal symbols all of them used in the appearance checking mode are computationally complete. On the other hand, every unary language is recursive if it is generated by a graph-controlled grammar with an arbitrary number of nonterminal symbols but only one of the nonterminal symbols being allowed to be used in the appearance checking mode. This implies, in particular, that the result proving the computational completeness of graph-controlled grammars with two nonterminal symbols and both of them being used in the appearance checking mode is already optimal with respect to the overall number of nonterminal symbols as well as with respect to the number of nonterminal symbols used in the appearance checking mode, too." @default.
- W2398839412 created "2016-06-24" @default.
- W2398839412 creator A5000617190 @default.
- W2398839412 creator A5015688812 @default.
- W2398839412 creator A5034331132 @default.
- W2398839412 creator A5041448586 @default.
- W2398839412 date "2005-01-01" @default.
- W2398839412 modified "2023-09-26" @default.
- W2398839412 title "Refining the Nonterminal Complexity of Graph-controlled Grammars." @default.
- W2398839412 cites W112931193 @default.
- W2398839412 cites W1486560491 @default.
- W2398839412 cites W1515624550 @default.
- W2398839412 cites W1829340420 @default.
- W2398839412 cites W1975076722 @default.
- W2398839412 cites W1993832215 @default.
- W2398839412 cites W2003134302 @default.
- W2398839412 cites W2012140001 @default.
- W2398839412 cites W2121130947 @default.
- W2398839412 cites W2130865866 @default.
- W2398839412 hasPublicationYear "2005" @default.
- W2398839412 type Work @default.
- W2398839412 sameAs 2398839412 @default.
- W2398839412 citedByCount "1" @default.
- W2398839412 crossrefType "journal-article" @default.
- W2398839412 hasAuthorship W2398839412A5000617190 @default.
- W2398839412 hasAuthorship W2398839412A5015688812 @default.
- W2398839412 hasAuthorship W2398839412A5034331132 @default.
- W2398839412 hasAuthorship W2398839412A5041448586 @default.
- W2398839412 hasConcept C114614502 @default.
- W2398839412 hasConcept C118615104 @default.
- W2398839412 hasConcept C125950753 @default.
- W2398839412 hasConcept C134083981 @default.
- W2398839412 hasConcept C154945302 @default.
- W2398839412 hasConcept C33923547 @default.
- W2398839412 hasConcept C41008148 @default.
- W2398839412 hasConcept C53893814 @default.
- W2398839412 hasConcept C79243999 @default.
- W2398839412 hasConcept C9432014 @default.
- W2398839412 hasConcept C97212296 @default.
- W2398839412 hasConceptScore W2398839412C114614502 @default.
- W2398839412 hasConceptScore W2398839412C118615104 @default.
- W2398839412 hasConceptScore W2398839412C125950753 @default.
- W2398839412 hasConceptScore W2398839412C134083981 @default.
- W2398839412 hasConceptScore W2398839412C154945302 @default.
- W2398839412 hasConceptScore W2398839412C33923547 @default.
- W2398839412 hasConceptScore W2398839412C41008148 @default.
- W2398839412 hasConceptScore W2398839412C53893814 @default.
- W2398839412 hasConceptScore W2398839412C79243999 @default.
- W2398839412 hasConceptScore W2398839412C9432014 @default.
- W2398839412 hasConceptScore W2398839412C97212296 @default.
- W2398839412 hasLocation W23988394121 @default.
- W2398839412 hasOpenAccess W2398839412 @default.
- W2398839412 hasPrimaryLocation W23988394121 @default.
- W2398839412 hasRelatedWork W13148084 @default.
- W2398839412 hasRelatedWork W1503669439 @default.
- W2398839412 hasRelatedWork W1508924910 @default.
- W2398839412 hasRelatedWork W1540406223 @default.
- W2398839412 hasRelatedWork W1545013034 @default.
- W2398839412 hasRelatedWork W1714715315 @default.
- W2398839412 hasRelatedWork W1829340420 @default.
- W2398839412 hasRelatedWork W1876221169 @default.
- W2398839412 hasRelatedWork W1999932874 @default.
- W2398839412 hasRelatedWork W2015467640 @default.
- W2398839412 hasRelatedWork W2070647957 @default.
- W2398839412 hasRelatedWork W207329459 @default.
- W2398839412 hasRelatedWork W2165539736 @default.
- W2398839412 hasRelatedWork W2222745226 @default.
- W2398839412 hasRelatedWork W2400176033 @default.
- W2398839412 hasRelatedWork W240868764 @default.
- W2398839412 hasRelatedWork W2803777011 @default.
- W2398839412 hasRelatedWork W319677150 @default.
- W2398839412 hasRelatedWork W64196332 @default.
- W2398839412 hasRelatedWork W1942498218 @default.
- W2398839412 isParatext "false" @default.
- W2398839412 isRetracted "false" @default.
- W2398839412 magId "2398839412" @default.
- W2398839412 workType "article" @default.