کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118889 | 1633561 | 2005 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Algebraically complete semirings and Greibach normal form
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
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 eliminations of chain and deletion rules depend on their inequational properties (and the idempotence of addition). It follows that these normal form theorems also hold in non-continuous semirings having enough fixed points.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1â3, May 2005, Pages 173-203
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1â3, May 2005, Pages 173-203
نویسندگان
Zoltán Ãsik, Hans LeiÃ,