Wyniki wyszukiwania - BazTech

Ograniczanie wyników

4 Fundamenta Informaticae

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Algebraic Ordinals

Bloom S.L., Ésik Z.

Fundamenta Informaticae

2010

Vol. 99, nr 4

383-407

An algebraic tree T is one determined by a finite system of fixed point equations. The frontier Fr(T ) of an algebraic tree T is linearly ordered by the lexicographic order

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Ésik Z., Iván S.

Fundamenta Informaticae

2008

Vol. 82, nr 1-2

79-103

We provide structural descriptions of certain varieties of finite tree automata closed under a version of the cascade product, called the Moore product. As a byproduct, we obtain decidable characterizations of the expressive power of certain fragments of CTL on finite trees.

Products of Tree Automata with an Application to Temporal Logic

Ésik Z., Iván S.

Fundamenta Informaticae

2008

Vol. 82, nr 1-2

61-78

We introduce the notion of the Moore product of tree automata as a special case of the cascade product. We give an algebraic characterization of the expressive power of certain CTL-like temporal logics based on the notion of varieties of finite tree automata closed under the Moore product.

Partial Conway and Iteration Semirings

Bloom S.L., Ésik Z., Kuich W.

Fundamenta Informaticae

2008

Vol. 86, nr 1-2

19-40

A Conway semiring is a semiring S equipped with a unary operation *: S →S, always called 'star', satisfying the sum star and product star identities. It is known that these identities imply a Kleene type theorem. Some computationally important semirings, such as N or N^{rat}((σ)) of rational power series of words on σ with coefficients in N, cannot have a total star operation satisfying the Conway identities. We introduce here partial Conway semirings, which are semirings S which have a star operation defined only on an ideal of S; when the arguments are appropriate, the operation satisfies the above identities. We develop the general theory of partial Conway semirings and prove a Kleene theorem for this generalization.