کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
523675 868408 2009 20 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The expressiveness of spider diagrams augmented with constants
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نرم افزارهای علوم کامپیوتر
پیش نمایش صفحه اول مقاله
The expressiveness of spider diagrams augmented with constants
چکیده انگلیسی

Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent specific individuals. Formal semantics are given for the extended diagram language. We prove that this extended system is equivalent in expressive power to the language of spider diagrams without constants and, hence, equivalent to monadic first order logic with equality.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Visual Languages & Computing - Volume 20, Issue 1, February 2009, Pages 30–49
نویسندگان
, , , ,