Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594847506> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1594847506 endingPage "148" @default.
- W1594847506 startingPage "139" @default.
- W1594847506 abstract "We implement an online judge for context-free grammars. Our system contains a list of problems describing formal languages, and asking for grammars generating them. A submitted proposal grammar receives a verdict of acceptance or rejection depending on whether the judge determines that it is equivalent to the reference solution grammar provided by the problem setter. Since equivalence of context-free grammars is an undecidable problem, we consider a maximum length ℓ and only test equivalence of the generated languages up to words of length ℓ. This length restriction is very often sufficient for the well-meant submissions. Since this restricted problem is still NP-complete, we design and implement methods based on hashing, SAT, and automata that perform well in practice." @default.
- W1594847506 created "2016-06-24" @default.
- W1594847506 creator A5061131539 @default.
- W1594847506 creator A5087991895 @default.
- W1594847506 date "2014-01-01" @default.
- W1594847506 modified "2023-10-17" @default.
- W1594847506 title "Automatic Evaluation of Context-Free Grammars (System Description)" @default.
- W1594847506 cites W1489411336 @default.
- W1594847506 cites W1518705996 @default.
- W1594847506 cites W1522692903 @default.
- W1594847506 cites W1976185671 @default.
- W1594847506 cites W2008064904 @default.
- W1594847506 cites W2110123236 @default.
- W1594847506 cites W2142785340 @default.
- W1594847506 cites W2152426072 @default.
- W1594847506 cites W4231708524 @default.
- W1594847506 doi "https://doi.org/10.1007/978-3-319-08918-8_10" @default.
- W1594847506 hasPublicationYear "2014" @default.
- W1594847506 type Work @default.
- W1594847506 sameAs 1594847506 @default.
- W1594847506 citedByCount "6" @default.
- W1594847506 countsByYear W15948475062015 @default.
- W1594847506 countsByYear W15948475062018 @default.
- W1594847506 countsByYear W15948475062020 @default.
- W1594847506 crossrefType "book-chapter" @default.
- W1594847506 hasAuthorship W1594847506A5061131539 @default.
- W1594847506 hasAuthorship W1594847506A5087991895 @default.
- W1594847506 hasConcept C112505250 @default.
- W1594847506 hasConcept C118615104 @default.
- W1594847506 hasConcept C125950753 @default.
- W1594847506 hasConcept C134083981 @default.
- W1594847506 hasConcept C138885662 @default.
- W1594847506 hasConcept C153269930 @default.
- W1594847506 hasConcept C177638518 @default.
- W1594847506 hasConcept C192034797 @default.
- W1594847506 hasConcept C198838072 @default.
- W1594847506 hasConcept C199360897 @default.
- W1594847506 hasConcept C204321447 @default.
- W1594847506 hasConcept C26022165 @default.
- W1594847506 hasConcept C2780069185 @default.
- W1594847506 hasConcept C33923547 @default.
- W1594847506 hasConcept C41008148 @default.
- W1594847506 hasConcept C41895202 @default.
- W1594847506 hasConcept C53893814 @default.
- W1594847506 hasConcept C67621940 @default.
- W1594847506 hasConcept C79243999 @default.
- W1594847506 hasConcept C80444323 @default.
- W1594847506 hasConcept C97169998 @default.
- W1594847506 hasConcept C97212296 @default.
- W1594847506 hasConceptScore W1594847506C112505250 @default.
- W1594847506 hasConceptScore W1594847506C118615104 @default.
- W1594847506 hasConceptScore W1594847506C125950753 @default.
- W1594847506 hasConceptScore W1594847506C134083981 @default.
- W1594847506 hasConceptScore W1594847506C138885662 @default.
- W1594847506 hasConceptScore W1594847506C153269930 @default.
- W1594847506 hasConceptScore W1594847506C177638518 @default.
- W1594847506 hasConceptScore W1594847506C192034797 @default.
- W1594847506 hasConceptScore W1594847506C198838072 @default.
- W1594847506 hasConceptScore W1594847506C199360897 @default.
- W1594847506 hasConceptScore W1594847506C204321447 @default.
- W1594847506 hasConceptScore W1594847506C26022165 @default.
- W1594847506 hasConceptScore W1594847506C2780069185 @default.
- W1594847506 hasConceptScore W1594847506C33923547 @default.
- W1594847506 hasConceptScore W1594847506C41008148 @default.
- W1594847506 hasConceptScore W1594847506C41895202 @default.
- W1594847506 hasConceptScore W1594847506C53893814 @default.
- W1594847506 hasConceptScore W1594847506C67621940 @default.
- W1594847506 hasConceptScore W1594847506C79243999 @default.
- W1594847506 hasConceptScore W1594847506C80444323 @default.
- W1594847506 hasConceptScore W1594847506C97169998 @default.
- W1594847506 hasConceptScore W1594847506C97212296 @default.
- W1594847506 hasLocation W15948475061 @default.
- W1594847506 hasOpenAccess W1594847506 @default.
- W1594847506 hasPrimaryLocation W15948475061 @default.
- W1594847506 hasRelatedWork W1488942915 @default.
- W1594847506 hasRelatedWork W1558243495 @default.
- W1594847506 hasRelatedWork W1970209336 @default.
- W1594847506 hasRelatedWork W1987076568 @default.
- W1594847506 hasRelatedWork W2012632856 @default.
- W1594847506 hasRelatedWork W2067980891 @default.
- W1594847506 hasRelatedWork W2116051198 @default.
- W1594847506 hasRelatedWork W2124761490 @default.
- W1594847506 hasRelatedWork W2153803459 @default.
- W1594847506 hasRelatedWork W2403874525 @default.
- W1594847506 isParatext "false" @default.
- W1594847506 isRetracted "false" @default.
- W1594847506 magId "1594847506" @default.
- W1594847506 workType "book-chapter" @default.