Алгоритмизация конечных автоматов. Статья.pdf