Stav dette: Методы символической динамики