Об e-моделировании конечных автоматовтезисы доклада