Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023224443> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2023224443 endingPage "178" @default.
- W2023224443 startingPage "163" @default.
- W2023224443 abstract "Salomaa (1969, p. 143) asked whether the equational theory of regular expressions over a singleton alphabet has a finite equational base. In this paper, we provide a negative answer to this long-standing question. The proof of our main result rests upon a model-theoretic argument. For every finite collection of equations, that are sound in the algebra of regular expressions over a singleton alphabet, we build a model in which some valid regular equation fails. The construction of the model mimics the one used by Conway (1971, p. 105) in his proof of a result, originally due to Redko, to the effect that infinitely many equations are needed to axiomatize equality of regular expressions. Our analysis of the model, however, needs to be more refined than the one provided by Conway (1971)." @default.
- W2023224443 created "2016-06-24" @default.
- W2023224443 creator A5016540152 @default.
- W2023224443 creator A5041913577 @default.
- W2023224443 creator A5078610814 @default.
- W2023224443 date "1998-12-01" @default.
- W2023224443 modified "2023-09-27" @default.
- W2023224443 title "On a question of A. Salomaa the equational theory of regular expressions over a singleton alphabet is not finitely based" @default.
- W2023224443 cites W137476671 @default.
- W2023224443 cites W1972289972 @default.
- W2023224443 cites W1976081874 @default.
- W2023224443 cites W1998189680 @default.
- W2023224443 cites W2008482270 @default.
- W2023224443 cites W2008967744 @default.
- W2023224443 cites W2031095246 @default.
- W2023224443 cites W2149366752 @default.
- W2023224443 cites W2163152086 @default.
- W2023224443 cites W4236869750 @default.
- W2023224443 cites W4246374139 @default.
- W2023224443 doi "https://doi.org/10.1016/s0304-3975(97)00104-7" @default.
- W2023224443 hasPublicationYear "1998" @default.
- W2023224443 type Work @default.
- W2023224443 sameAs 2023224443 @default.
- W2023224443 citedByCount "9" @default.
- W2023224443 countsByYear W20232244432022 @default.
- W2023224443 crossrefType "journal-article" @default.
- W2023224443 hasAuthorship W2023224443A5016540152 @default.
- W2023224443 hasAuthorship W2023224443A5041913577 @default.
- W2023224443 hasAuthorship W2023224443A5078610814 @default.
- W2023224443 hasBestOaLocation W20232244431 @default.
- W2023224443 hasConcept C112505250 @default.
- W2023224443 hasConcept C112876837 @default.
- W2023224443 hasConcept C114614502 @default.
- W2023224443 hasConcept C117354338 @default.
- W2023224443 hasConcept C118615104 @default.
- W2023224443 hasConcept C136119220 @default.
- W2023224443 hasConcept C138885662 @default.
- W2023224443 hasConcept C154564781 @default.
- W2023224443 hasConcept C154690210 @default.
- W2023224443 hasConcept C162860070 @default.
- W2023224443 hasConcept C199360897 @default.
- W2023224443 hasConcept C202444582 @default.
- W2023224443 hasConcept C2779234561 @default.
- W2023224443 hasConcept C33923547 @default.
- W2023224443 hasConcept C41008148 @default.
- W2023224443 hasConcept C41895202 @default.
- W2023224443 hasConcept C52370388 @default.
- W2023224443 hasConcept C54355233 @default.
- W2023224443 hasConcept C80444323 @default.
- W2023224443 hasConcept C86803240 @default.
- W2023224443 hasConceptScore W2023224443C112505250 @default.
- W2023224443 hasConceptScore W2023224443C112876837 @default.
- W2023224443 hasConceptScore W2023224443C114614502 @default.
- W2023224443 hasConceptScore W2023224443C117354338 @default.
- W2023224443 hasConceptScore W2023224443C118615104 @default.
- W2023224443 hasConceptScore W2023224443C136119220 @default.
- W2023224443 hasConceptScore W2023224443C138885662 @default.
- W2023224443 hasConceptScore W2023224443C154564781 @default.
- W2023224443 hasConceptScore W2023224443C154690210 @default.
- W2023224443 hasConceptScore W2023224443C162860070 @default.
- W2023224443 hasConceptScore W2023224443C199360897 @default.
- W2023224443 hasConceptScore W2023224443C202444582 @default.
- W2023224443 hasConceptScore W2023224443C2779234561 @default.
- W2023224443 hasConceptScore W2023224443C33923547 @default.
- W2023224443 hasConceptScore W2023224443C41008148 @default.
- W2023224443 hasConceptScore W2023224443C41895202 @default.
- W2023224443 hasConceptScore W2023224443C52370388 @default.
- W2023224443 hasConceptScore W2023224443C54355233 @default.
- W2023224443 hasConceptScore W2023224443C80444323 @default.
- W2023224443 hasConceptScore W2023224443C86803240 @default.
- W2023224443 hasIssue "1-2" @default.
- W2023224443 hasLocation W20232244431 @default.
- W2023224443 hasLocation W20232244432 @default.
- W2023224443 hasOpenAccess W2023224443 @default.
- W2023224443 hasPrimaryLocation W20232244431 @default.
- W2023224443 hasRelatedWork W1967271118 @default.
- W2023224443 hasRelatedWork W2005925509 @default.
- W2023224443 hasRelatedWork W2023224443 @default.
- W2023224443 hasRelatedWork W2078679422 @default.
- W2023224443 hasRelatedWork W2345249953 @default.
- W2023224443 hasRelatedWork W2798622610 @default.
- W2023224443 hasRelatedWork W2964288276 @default.
- W2023224443 hasRelatedWork W3080663663 @default.
- W2023224443 hasRelatedWork W3216076173 @default.
- W2023224443 hasRelatedWork W4293365891 @default.
- W2023224443 hasVolume "209" @default.
- W2023224443 isParatext "false" @default.
- W2023224443 isRetracted "false" @default.
- W2023224443 magId "2023224443" @default.
- W2023224443 workType "article" @default.