TY JOUR TI ABOUT MODELING A FINITE AUTOMATON IN THE PROLOG LANGUAGE KW intellectual system KW program KW Prolog JO Modern Technologies and Scientific and Technological Progress AU Chihachev, S.A. PY 2025 IS 2025 PB Federal State Funded Educational Establishment of Higher Education «Angarsk State Technical University»