TY JOUR TI О МОДЕЛИРОВАНИИ КОНЕЧНОГО АВТОМАТА НА ЯЗЫКЕ ПРОЛОГ KW конечный автомат KW программа KW Пролог JO современные технологии и научно-технический прогресс AU Чихачев, С.А. PY 2025 IS 2025 PB ФГБОУ ВО "Ангарский государственный технический университет"