P-adic methods in automata theoryдоклад на конференции