Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation
المؤلفون المشاركون
Qin, Zheng
Shan, Laixiang
Qin, Jun
Chen, Mingshi
المصدر
Journal of Applied Mathematics
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-02-10
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
We present on-the-fly degeneralization algorithm used to transform generalized Büchi automata (GBA) into Büchi Automata (BA) different from the standard degeneralization algorithm.
Contented situation, which is used to record what acceptance conditions are satisfiable during expanding LTL formulae, is attached to the states and transitions in the BA.
In order to get the deterministic BA, the Shannon expansion is used recursively when we expand LTL formulae by applying the tableau rules.
On-the-fly degeneralization algorithm is carried out in each step of the expansion of LTL formulae.
Ordered binary decision diagrams are used to represent the BA and simplify LTL formulae.
The temporary automata are stored as syntax directed acyclic graph in order to save storage space.
These ideas are implemented in a conversion algorithm used to build a property automaton corresponding to the given LTL formulae.
We compare our method to previous work and show that it is more efficient for four sets of random formulae generated by LBTT.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Shan, Laixiang& Qin, Jun& Chen, Mingshi& Qin, Zheng. 2015. Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation. Journal of Applied Mathematics،Vol. 2015, no. 2015, pp.1-10.
https://search.emarefa.net/detail/BIM-1067096
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Shan, Laixiang…[et al.]. Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation. Journal of Applied Mathematics No. 2015 (2015), pp.1-10.
https://search.emarefa.net/detail/BIM-1067096
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Shan, Laixiang& Qin, Jun& Chen, Mingshi& Qin, Zheng. Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation. Journal of Applied Mathematics. 2015. Vol. 2015, no. 2015, pp.1-10.
https://search.emarefa.net/detail/BIM-1067096
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1067096
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر