کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423284 685198 2006 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
چکیده انگلیسی

We present several constructions and techniques which have recently been used to tackle the prob- lems of qualitative/quantitative analysis of probabilistic pushdown automata.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 149, Issue 1, 3 February 2006, Pages 3-15