Value Automata with Filters

نویسندگان

  • Michaël Cadilhac
  • Andreas Krebs
  • Nutan Limaye
چکیده

We propose to study value automata with filters, a natural generalization of regular cost automata to nondeterminism. Models such as weighted automata and Parikh automata appear naturally as specializations. Results on the expressiveness of this model offer a general understanding of the behavior of the models that arise as special cases. A landscape of such restrictions is drawn.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS

In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...

متن کامل

Creating Dynamic Sub-Route to Control Congestion Based on Learning Automata Technique in Mobile Ad Hoc Networks

Ad hoc mobile networks have dynamic topology with no central management. Because of the high mobility of nodes, the network topology may change constantly, so creating a routing with high reliability is one of the major challenges of these networks .In the proposed framework first, by finding directions to the destination and calculating the value of the rout the combination of this value with ...

متن کامل

Creating Dynamic Sub-Route to Control Congestion Based on Learning Automata Technique in Mobile Ad Hoc Networks

Ad hoc mobile networks have dynamic topology with no central management. Because of the high mobility of nodes, the network topology may change constantly, so creating a routing with high reliability is one of the major challenges of these networks .In the proposed framework first, by finding directions to the destination and calculating the value of the rout the combination of this value with ...

متن کامل

Run-length Distributions of Recursive Median Filters using Probabilistic Automata

In this paper we develop statistical models for the description of the Recursive Median (RM) filters, and for the one dimensional RM sieve, implemented as a cascade of RM filters of increasing window lengths. We are seeking analytical confirmation for the observation that the RM filter is in itself not a useful estimator of location, and should not be used in data smoothing. As the cascading el...

متن کامل

Evaluation of Leukoreduction in Packed Cell Units Filtered by Home-Made Bedside Filters: Pre and Post Revision of Product Technology and Materials According to Standard Values

Introduction: Leukocytes causing a wide variety of side effects after transfusion are present in all blood products prepared by standard methods. As a consequence, the use of filter technology for leukoreduction has been widely practiced .According to AABB accreditation in 1996, leukoreduced blood components must contain less than 5×106 leukocytes per unit, but sometimes this value is higher ev...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1510.02393  شماره 

صفحات  -

تاریخ انتشار 2015