Об одном формализме в решении задач выразимости для автоматовдоклад на конференции