Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051275734> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2051275734 endingPage "248" @default.
- W2051275734 startingPage "231" @default.
- W2051275734 abstract "On the one hand, the inclusion problem for nonerasing and erasing pattern languages is undecidable (see Jiang et al., 1995). On the other hand, the language equivalence problem for nonerasing pattern languages is trivially decidable (see Angluin, 1980) but the question of whether the same holds for erasing pattern languages is still open. It has been conjectured by Jiang et al. that the language equivalence problem for erasing pattern languages is also decidable. In this paper, we introduce a new normal form for patterns and show, using the normal form, that the language equivalence problem for erasing pattern languages is decidable in many special cases. We conjecture that our normal form procedure decides the problem in the general case, too. If the conjecture holds true, then the normal form is the shortest pattern generating a given erasing pattern language." @default.
- W2051275734 created "2016-06-24" @default.
- W2051275734 creator A5058284151 @default.
- W2051275734 creator A5090763399 @default.
- W2051275734 date "1997-10-01" @default.
- W2051275734 modified "2023-09-23" @default.
- W2051275734 title "On the equivalence problem for E-pattern languages" @default.
- W2051275734 cites W1965415591 @default.
- W2051275734 cites W1990129203 @default.
- W2051275734 cites W2019001600 @default.
- W2051275734 cites W2029759785 @default.
- W2051275734 cites W2035166717 @default.
- W2051275734 cites W2067734219 @default.
- W2051275734 doi "https://doi.org/10.1016/s0304-3975(96)00289-7" @default.
- W2051275734 hasPublicationYear "1997" @default.
- W2051275734 type Work @default.
- W2051275734 sameAs 2051275734 @default.
- W2051275734 citedByCount "23" @default.
- W2051275734 countsByYear W20512757342012 @default.
- W2051275734 countsByYear W20512757342013 @default.
- W2051275734 countsByYear W20512757342015 @default.
- W2051275734 countsByYear W20512757342016 @default.
- W2051275734 countsByYear W20512757342017 @default.
- W2051275734 countsByYear W20512757342019 @default.
- W2051275734 countsByYear W20512757342020 @default.
- W2051275734 crossrefType "journal-article" @default.
- W2051275734 hasAuthorship W2051275734A5058284151 @default.
- W2051275734 hasAuthorship W2051275734A5090763399 @default.
- W2051275734 hasConcept C112505250 @default.
- W2051275734 hasConcept C114614502 @default.
- W2051275734 hasConcept C118615104 @default.
- W2051275734 hasConcept C153269930 @default.
- W2051275734 hasConcept C192034797 @default.
- W2051275734 hasConcept C2780069185 @default.
- W2051275734 hasConcept C2780990831 @default.
- W2051275734 hasConcept C33923547 @default.
- W2051275734 hasConcept C41008148 @default.
- W2051275734 hasConcept C52370388 @default.
- W2051275734 hasConcept C80444323 @default.
- W2051275734 hasConceptScore W2051275734C112505250 @default.
- W2051275734 hasConceptScore W2051275734C114614502 @default.
- W2051275734 hasConceptScore W2051275734C118615104 @default.
- W2051275734 hasConceptScore W2051275734C153269930 @default.
- W2051275734 hasConceptScore W2051275734C192034797 @default.
- W2051275734 hasConceptScore W2051275734C2780069185 @default.
- W2051275734 hasConceptScore W2051275734C2780990831 @default.
- W2051275734 hasConceptScore W2051275734C33923547 @default.
- W2051275734 hasConceptScore W2051275734C41008148 @default.
- W2051275734 hasConceptScore W2051275734C52370388 @default.
- W2051275734 hasConceptScore W2051275734C80444323 @default.
- W2051275734 hasIssue "1-2" @default.
- W2051275734 hasLocation W20512757341 @default.
- W2051275734 hasOpenAccess W2051275734 @default.
- W2051275734 hasPrimaryLocation W20512757341 @default.
- W2051275734 hasRelatedWork W128312770 @default.
- W2051275734 hasRelatedWork W1510949832 @default.
- W2051275734 hasRelatedWork W1565713559 @default.
- W2051275734 hasRelatedWork W1570877636 @default.
- W2051275734 hasRelatedWork W1979723722 @default.
- W2051275734 hasRelatedWork W1988398776 @default.
- W2051275734 hasRelatedWork W2037204124 @default.
- W2051275734 hasRelatedWork W2051275734 @default.
- W2051275734 hasRelatedWork W2998200254 @default.
- W2051275734 hasRelatedWork W2070896619 @default.
- W2051275734 hasVolume "186" @default.
- W2051275734 isParatext "false" @default.
- W2051275734 isRetracted "false" @default.
- W2051275734 magId "2051275734" @default.
- W2051275734 workType "article" @default.