Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10323700 | Fuzzy Sets and Systems | 2005 | 14 Pages |
Abstract
We consider Büchi automata weighted over the fuzzy semiring F=([0,1],max,min,0,1). A Büchi theorem for the class of Ï-recognizable series with coefficients in F, i.e., for behaviors of Büchi automata over F is established. Furthermore, we show that an infinitary language is Büchi recognizable iff its characteristic series is Ï-recognizable.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
George Rahonis,