Complexity for theories with Kleene starдоклад на конференции