FRINK Linked Data Fragments server

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

• W2024449146 abstract "This paper considers conditions under which a context-free language is regular and conditions which imposed on (productions of) a rewriting system generating a context-free language will guarantee that the generated language is regular. In particular: 1.(1) necessary and sufficient conditions on productions of a unitary grammar are given that guarantee the generated language to be regular (a unitary grammar is a semi-Thue system in which the left-hand of each production is the empty word), and2.(2) it is proved that commutativity of a linear language implies its regularity. To obtain the former result, we give a generalization of the Myhill–Nerode characterization of the regular languages in terms of well-quasi orders, along with a generalization of Higman's well-quasi order result concerning the subsequence embedding relation on Σ*. In obtaining the latter results, we introduce the class of periodic languages, and demonstrate how they can be used to characterize the commutative regular languages. Here we also utilize the theory of well-quasi orders." @default.
• W2024449146 created "2016-06-24" @default.
• W2024449146 creator A5045244980 @default.
• W2024449146 creator A5055209314 @default.
• W2024449146 creator A5090849321 @default.
• W2024449146 date "1983-08-01" @default.
• W2024449146 modified "2023-09-27" @default.
• W2024449146 title "On regularity of context-free languages" @default.
• W2024449146 doi "https://doi.org/10.1016/0167-7136(83)90297-4" @default.
• W2024449146 hasPublicationYear "1983" @default.
• W2024449146 type Work @default.
• W2024449146 sameAs 2024449146 @default.
• W2024449146 citedByCount "0" @default.
• W2024449146 crossrefType "journal-article" @default.
• W2024449146 hasAuthorship W2024449146A5045244980 @default.
• W2024449146 hasAuthorship W2024449146A5055209314 @default.
• W2024449146 hasAuthorship W2024449146A5090849321 @default.
• W2024449146 hasConcept C11164408 @default.
• W2024449146 hasConcept C112505250 @default.
• W2024449146 hasConcept C118615104 @default.
• W2024449146 hasConcept C134306372 @default.
• W2024449146 hasConcept C136119220 @default.
• W2024449146 hasConcept C138885662 @default.
• W2024449146 hasConcept C151730666 @default.
• W2024449146 hasConcept C154690210 @default.
• W2024449146 hasConcept C177148314 @default.
• W2024449146 hasConcept C17744445 @default.
• W2024449146 hasConcept C183778304 @default.
• W2024449146 hasConcept C198838072 @default.
• W2024449146 hasConcept C199163288 @default.
• W2024449146 hasConcept C199360897 @default.
• W2024449146 hasConcept C199539241 @default.
• W2024449146 hasConcept C202444582 @default.
• W2024449146 hasConcept C204321447 @default.
• W2024449146 hasConcept C26022165 @default.
• W2024449146 hasConcept C2779343474 @default.
• W2024449146 hasConcept C33923547 @default.
• W2024449146 hasConcept C34165917 @default.
• W2024449146 hasConcept C41008148 @default.
• W2024449146 hasConcept C41895202 @default.
• W2024449146 hasConcept C50033165 @default.
• W2024449146 hasConcept C52370388 @default.
• W2024449146 hasConcept C53893814 @default.
• W2024449146 hasConcept C67820243 @default.
• W2024449146 hasConcept C80444323 @default.
• W2024449146 hasConcept C86803240 @default.
• W2024449146 hasConceptScore W2024449146C11164408 @default.
• W2024449146 hasConceptScore W2024449146C112505250 @default.
• W2024449146 hasConceptScore W2024449146C118615104 @default.
• W2024449146 hasConceptScore W2024449146C134306372 @default.
• W2024449146 hasConceptScore W2024449146C136119220 @default.
• W2024449146 hasConceptScore W2024449146C138885662 @default.
• W2024449146 hasConceptScore W2024449146C151730666 @default.
• W2024449146 hasConceptScore W2024449146C154690210 @default.
• W2024449146 hasConceptScore W2024449146C177148314 @default.
• W2024449146 hasConceptScore W2024449146C17744445 @default.
• W2024449146 hasConceptScore W2024449146C183778304 @default.
• W2024449146 hasConceptScore W2024449146C198838072 @default.
• W2024449146 hasConceptScore W2024449146C199163288 @default.
• W2024449146 hasConceptScore W2024449146C199360897 @default.
• W2024449146 hasConceptScore W2024449146C199539241 @default.
• W2024449146 hasConceptScore W2024449146C202444582 @default.
• W2024449146 hasConceptScore W2024449146C204321447 @default.
• W2024449146 hasConceptScore W2024449146C26022165 @default.
• W2024449146 hasConceptScore W2024449146C2779343474 @default.
• W2024449146 hasConceptScore W2024449146C33923547 @default.
• W2024449146 hasConceptScore W2024449146C34165917 @default.
• W2024449146 hasConceptScore W2024449146C41008148 @default.
• W2024449146 hasConceptScore W2024449146C41895202 @default.
• W2024449146 hasConceptScore W2024449146C50033165 @default.
• W2024449146 hasConceptScore W2024449146C52370388 @default.
• W2024449146 hasConceptScore W2024449146C53893814 @default.
• W2024449146 hasConceptScore W2024449146C67820243 @default.
• W2024449146 hasConceptScore W2024449146C80444323 @default.
• W2024449146 hasConceptScore W2024449146C86803240 @default.
• W2024449146 hasLocation W20244491461 @default.
• W2024449146 hasOpenAccess W2024449146 @default.
• W2024449146 hasPrimaryLocation W20244491461 @default.
• W2024449146 hasRelatedWork W1500070778 @default.
• W2024449146 hasRelatedWork W1504896064 @default.
• W2024449146 hasRelatedWork W1534920398 @default.
• W2024449146 hasRelatedWork W1570777758 @default.
• W2024449146 hasRelatedWork W1575381045 @default.
• W2024449146 hasRelatedWork W1975411323 @default.
• W2024449146 hasRelatedWork W1989943994 @default.
• W2024449146 hasRelatedWork W2019932899 @default.
• W2024449146 hasRelatedWork W2028310835 @default.
• W2024449146 hasRelatedWork W2038743525 @default.
• W2024449146 hasRelatedWork W2111673589 @default.
• W2024449146 hasRelatedWork W2136363749 @default.
• W2024449146 hasRelatedWork W2867243572 @default.
• W2024449146 hasRelatedWork W2998521476 @default.
• W2024449146 hasRelatedWork W3033525639 @default.
• W2024449146 hasRelatedWork W3046785554 @default.
• W2024449146 hasRelatedWork W3106870970 @default.
• W2024449146 hasRelatedWork W3193057367 @default.
• W2024449146 hasRelatedWork W385129910 @default.
• W2024449146 hasRelatedWork W974491429 @default.
• W2024449146 isParatext "false" @default.
• W2024449146 isRetracted "false" @default.

• next