Dzień dobry mam problem z zadaniem:
Czy poniższy układ jest SFT(Subshift of Finite Type)?
\(A = \left\{ a,b,c\right\} \), bloki postaci \(ab^kc^la\) występują tylko jeżeli \(k = l\).
Jesli tak to rodzina bloków zakazanych czyli \(F= \left\{ab^kc^la:k \neq l \right\} \) powinna być skończona, ale nie wiem do końca jak to pokazać
Starałem się też sprawdzić czy zachodzi dla każdych bloków u , v, w zachodzi warunek sklejania czyli że uvw jest dozwolony, wyszło, że nie ale nie jestem pewny.
Z góry dziękuje za pomoc
Układy Symboliczne
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
- Fachowiec
- Posty: 1640
- Rejestracja: 01 sty 2021, 09:38
- Podziękowania: 3 razy
- Otrzymane podziękowania: 425 razy
Re: Układy Symboliczne
Dowód wynika z następującego twierdzenia dotyczącego własności SFT:
Twierdzenie
Dla każdego alfabetu skończonego na przykład \( \mathcal{A}= \{ a, b, c \} \) - SFT może być tak przekodowany tak, że lista bloków zakazanych składa się tylko z dwóch bloków, a więc jest skończona.
Twierdzenie
Dla każdego alfabetu skończonego na przykład \( \mathcal{A}= \{ a, b, c \} \) - SFT może być tak przekodowany tak, że lista bloków zakazanych składa się tylko z dwóch bloków, a więc jest skończona.