Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: lamplighter automata

Sortuj według:

Ogranicz wyniki do:

Półgrupy inwersywne generowane przez nie wszędzie określone "Lamplighter" automaty

Słupik J.

Zeszyty Naukowe. Matematyka - Fizyka / Politechnika Śląska

2004

z. 91

299-310

Niech A = (X, Y, Q, pi, A) będzie dwustanowym automatem nad alfabetami X = Y = (0,1}, który generuje "Lamplighter" grupę. Modyfikujemy ten automat, usuwając jedną parę (z, q) z dziedziny funkcji wyjścia A, gdzie x E X i q E Q. Otrzymujemy w ten sposób cztery częściowo określone odwracalne automaty. Głównym wynikiem tej pracy jest dowód, że tego typu automaty generują skończone półgrupy inwersywne.

Let A = (X,Y,Q,pi,lambda) be a two-state automaton over the alphabets X = Y group. We remove pair (x,q) from domain of the output function lambda, where x E X and q E automata. It is proved inverse semigroups. We obtain four partially defined invertible that aforementioned automata generate finite