Линейно реализуемые автоматытезисы доклада