Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489604388> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1489604388 endingPage "150" @default.
- W1489604388 startingPage "135" @default.
- W1489604388 abstract "We give inequational and equational axioms for semirings with a fixed-point operator and formally develop a fragment of the theory of context-free languages. In particular, we show that Greibach’s normal form theorem depends only on a few equational properties of least pre-fixed-points in semirings, and elimination of chain- and deletion rules depend on their inequational properties (and the idempotency of addition). It follows that these normal form theorems also hold in non-continuous semirings having enough fixed-points.KeywordsGreibach normal formcontext-free languagespre-fixed-point inductionequational theoryConway algebraKleene algebraalgebraically complete semirings" @default.
- W1489604388 created "2016-06-24" @default.
- W1489604388 creator A5017293831 @default.
- W1489604388 creator A5023391589 @default.
- W1489604388 date "2002-01-01" @default.
- W1489604388 modified "2023-09-27" @default.
- W1489604388 title "Greibach Normal Form in Algebraically Complete Semirings" @default.
- W1489604388 cites W137476671 @default.
- W1489604388 cites W1772686893 @default.
- W1489604388 cites W2010117085 @default.
- W1489604388 cites W2022770634 @default.
- W1489604388 cites W2091780332 @default.
- W1489604388 cites W2149366752 @default.
- W1489604388 cites W2160650760 @default.
- W1489604388 cites W2463110898 @default.
- W1489604388 cites W4212873186 @default.
- W1489604388 cites W4238533884 @default.
- W1489604388 cites W4244283447 @default.
- W1489604388 cites W4247483382 @default.
- W1489604388 cites W4256280462 @default.
- W1489604388 doi "https://doi.org/10.1007/3-540-45793-3_10" @default.
- W1489604388 hasPublicationYear "2002" @default.
- W1489604388 type Work @default.
- W1489604388 sameAs 1489604388 @default.
- W1489604388 citedByCount "4" @default.
- W1489604388 countsByYear W14896043882013 @default.
- W1489604388 countsByYear W14896043882017 @default.
- W1489604388 crossrefType "book-chapter" @default.
- W1489604388 hasAuthorship W1489604388A5017293831 @default.
- W1489604388 hasAuthorship W1489604388A5023391589 @default.
- W1489604388 hasConcept C104317684 @default.
- W1489604388 hasConcept C118615104 @default.
- W1489604388 hasConcept C134306372 @default.
- W1489604388 hasConcept C136119220 @default.
- W1489604388 hasConcept C146147875 @default.
- W1489604388 hasConcept C151730666 @default.
- W1489604388 hasConcept C158448853 @default.
- W1489604388 hasConcept C167729594 @default.
- W1489604388 hasConcept C17020691 @default.
- W1489604388 hasConcept C172252984 @default.
- W1489604388 hasConcept C185592680 @default.
- W1489604388 hasConcept C202444582 @default.
- W1489604388 hasConcept C2524010 @default.
- W1489604388 hasConcept C27333817 @default.
- W1489604388 hasConcept C2779343474 @default.
- W1489604388 hasConcept C28642324 @default.
- W1489604388 hasConcept C33923547 @default.
- W1489604388 hasConcept C41008148 @default.
- W1489604388 hasConcept C45962547 @default.
- W1489604388 hasConcept C55493867 @default.
- W1489604388 hasConcept C61445026 @default.
- W1489604388 hasConcept C86339819 @default.
- W1489604388 hasConcept C86803240 @default.
- W1489604388 hasConceptScore W1489604388C104317684 @default.
- W1489604388 hasConceptScore W1489604388C118615104 @default.
- W1489604388 hasConceptScore W1489604388C134306372 @default.
- W1489604388 hasConceptScore W1489604388C136119220 @default.
- W1489604388 hasConceptScore W1489604388C146147875 @default.
- W1489604388 hasConceptScore W1489604388C151730666 @default.
- W1489604388 hasConceptScore W1489604388C158448853 @default.
- W1489604388 hasConceptScore W1489604388C167729594 @default.
- W1489604388 hasConceptScore W1489604388C17020691 @default.
- W1489604388 hasConceptScore W1489604388C172252984 @default.
- W1489604388 hasConceptScore W1489604388C185592680 @default.
- W1489604388 hasConceptScore W1489604388C202444582 @default.
- W1489604388 hasConceptScore W1489604388C2524010 @default.
- W1489604388 hasConceptScore W1489604388C27333817 @default.
- W1489604388 hasConceptScore W1489604388C2779343474 @default.
- W1489604388 hasConceptScore W1489604388C28642324 @default.
- W1489604388 hasConceptScore W1489604388C33923547 @default.
- W1489604388 hasConceptScore W1489604388C41008148 @default.
- W1489604388 hasConceptScore W1489604388C45962547 @default.
- W1489604388 hasConceptScore W1489604388C55493867 @default.
- W1489604388 hasConceptScore W1489604388C61445026 @default.
- W1489604388 hasConceptScore W1489604388C86339819 @default.
- W1489604388 hasConceptScore W1489604388C86803240 @default.
- W1489604388 hasLocation W14896043881 @default.
- W1489604388 hasOpenAccess W1489604388 @default.
- W1489604388 hasPrimaryLocation W14896043881 @default.
- W1489604388 hasRelatedWork W1965533470 @default.
- W1489604388 hasRelatedWork W1968315635 @default.
- W1489604388 hasRelatedWork W2020989458 @default.
- W1489604388 hasRelatedWork W2181625186 @default.
- W1489604388 hasRelatedWork W2575897612 @default.
- W1489604388 hasRelatedWork W2666358762 @default.
- W1489604388 hasRelatedWork W2963671372 @default.
- W1489604388 hasRelatedWork W2964538075 @default.
- W1489604388 hasRelatedWork W2978194344 @default.
- W1489604388 hasRelatedWork W3139902186 @default.
- W1489604388 isParatext "false" @default.
- W1489604388 isRetracted "false" @default.
- W1489604388 magId "1489604388" @default.
- W1489604388 workType "book-chapter" @default.