FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W318121553> ?p ?o ?g. }

• W318121553 abstract "Let e be a class of automata (in a precise sense to be defined) and ec the class obtained by augmenting each automaton in e with finitely many reversal-bounded counters. We first show that if the languages defined by e are effectively semilinear, then so are the languages defined by ec, and, hence, their emptiness problem is decidable. This result is then used to show the decidability of various problems concerning morphisms and commutation of languages. We also prove a surprising undecidability result: given a fixed two element code K, it is undecidable whether a given context-free language L commutes with K, i.e., LK = KL." @default.
• W318121553 created "2016-06-24" @default.
• W318121553 creator A5054372678 @default.
• W318121553 creator A5060267256 @default.
• W318121553 creator A5074809336 @default.
• W318121553 creator A5085504322 @default.
• W318121553 date "2001-01-01" @default.
• W318121553 modified "2023-09-23" @default.
• W318121553 title "Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages" @default.
• W318121553 cites W137071685 @default.
• W318121553 cites W1979876920 @default.
• W318121553 cites W1988472308 @default.
• W318121553 cites W2023999667 @default.
• W318121553 cites W2071271929 @default.
• W318121553 cites W2100532597 @default.
• W318121553 cites W2111753126 @default.
• W318121553 cites W2114755906 @default.
• W318121553 cites W2121111738 @default.
• W318121553 cites W2157390113 @default.
• W318121553 cites W2536406149 @default.
• W318121553 doi "https://doi.org/10.1007/3-540-48224-5_48" @default.
• W318121553 hasPublicationYear "2001" @default.
• W318121553 type Work @default.
• W318121553 sameAs 318121553 @default.
• W318121553 citedByCount "6" @default.
• W318121553 crossrefType "book-chapter" @default.
• W318121553 hasAuthorship W318121553A5054372678 @default.
• W318121553 hasAuthorship W318121553A5060267256 @default.
• W318121553 hasAuthorship W318121553A5074809336 @default.
• W318121553 hasAuthorship W318121553A5085504322 @default.
• W318121553 hasConcept C112505250 @default.
• W318121553 hasConcept C11413529 @default.
• W318121553 hasConcept C118615104 @default.
• W318121553 hasConcept C121332964 @default.
• W318121553 hasConcept C134306372 @default.
• W318121553 hasConcept C137212723 @default.
• W318121553 hasConcept C138885662 @default.
• W318121553 hasConcept C151730666 @default.
• W318121553 hasConcept C153269930 @default.
• W318121553 hasConcept C154945302 @default.
• W318121553 hasConcept C165801399 @default.
• W318121553 hasConcept C192034797 @default.
• W318121553 hasConcept C198838072 @default.
• W318121553 hasConcept C27206212 @default.
• W318121553 hasConcept C2777212361 @default.
• W318121553 hasConcept C2779150620 @default.
• W318121553 hasConcept C2779343474 @default.
• W318121553 hasConcept C2780147050 @default.
• W318121553 hasConcept C33923547 @default.
• W318121553 hasConcept C34388435 @default.
• W318121553 hasConcept C41008148 @default.
• W318121553 hasConcept C52370388 @default.
• W318121553 hasConcept C53893814 @default.
• W318121553 hasConcept C62520636 @default.
• W318121553 hasConcept C80444323 @default.
• W318121553 hasConcept C86803240 @default.
• W318121553 hasConceptScore W318121553C112505250 @default.
• W318121553 hasConceptScore W318121553C11413529 @default.
• W318121553 hasConceptScore W318121553C118615104 @default.
• W318121553 hasConceptScore W318121553C121332964 @default.
• W318121553 hasConceptScore W318121553C134306372 @default.
• W318121553 hasConceptScore W318121553C137212723 @default.
• W318121553 hasConceptScore W318121553C138885662 @default.
• W318121553 hasConceptScore W318121553C151730666 @default.
• W318121553 hasConceptScore W318121553C153269930 @default.
• W318121553 hasConceptScore W318121553C154945302 @default.
• W318121553 hasConceptScore W318121553C165801399 @default.
• W318121553 hasConceptScore W318121553C192034797 @default.
• W318121553 hasConceptScore W318121553C198838072 @default.
• W318121553 hasConceptScore W318121553C27206212 @default.
• W318121553 hasConceptScore W318121553C2777212361 @default.
• W318121553 hasConceptScore W318121553C2779150620 @default.
• W318121553 hasConceptScore W318121553C2779343474 @default.
• W318121553 hasConceptScore W318121553C2780147050 @default.
• W318121553 hasConceptScore W318121553C33923547 @default.
• W318121553 hasConceptScore W318121553C34388435 @default.
• W318121553 hasConceptScore W318121553C41008148 @default.
• W318121553 hasConceptScore W318121553C52370388 @default.
• W318121553 hasConceptScore W318121553C53893814 @default.
• W318121553 hasConceptScore W318121553C62520636 @default.
• W318121553 hasConceptScore W318121553C80444323 @default.
• W318121553 hasConceptScore W318121553C86803240 @default.
• W318121553 hasLocation W3181215531 @default.
• W318121553 hasOpenAccess W318121553 @default.
• W318121553 hasPrimaryLocation W3181215531 @default.
• W318121553 hasRelatedWork W106053274 @default.
• W318121553 hasRelatedWork W1515510498 @default.
• W318121553 hasRelatedWork W1520554460 @default.
• W318121553 hasRelatedWork W1539226081 @default.
• W318121553 hasRelatedWork W1565713559 @default.
• W318121553 hasRelatedWork W1570949334 @default.
• W318121553 hasRelatedWork W1974626062 @default.
• W318121553 hasRelatedWork W1977793919 @default.
• W318121553 hasRelatedWork W1979723722 @default.
• W318121553 hasRelatedWork W2002089154 @default.
• W318121553 hasRelatedWork W2006337571 @default.
• W318121553 hasRelatedWork W2034921735 @default.
• W318121553 hasRelatedWork W2092010284 @default.
• W318121553 hasRelatedWork W2106878575 @default.
• W318121553 hasRelatedWork W2115915222 @default.

• next