Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

2 2008

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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.