Алгоритм проверки полноты конечных систем в классах линейно-автоматных функций над конечными полямидоклад на конференции