<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">cheb</journal-id><journal-title-group><journal-title xml:lang="ru">Чебышевский сборник</journal-title><trans-title-group xml:lang="en"><trans-title>Chebyshevskii Sbornik</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2226-8383</issn><publisher><publisher-name>Tula State Lev Tolstoy  Pedagogical University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.22405/2226-8383-2022-23-4-11-19</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-1371</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Article</subject></subj-group></article-categories><title-group><article-title>Рациональные A-функции с рациональными коэффициентами</article-title><trans-title-group xml:lang="en"><trans-title>Rational A-functions with rational coefficients</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Алексиадис</surname><given-names>Никос Филиппович</given-names></name><name name-style="western" xml:lang="en"><surname>Aleksiadis</surname><given-names>Nikos Filippovich</given-names></name></name-alternatives><bio xml:lang="ru"><p>кандидат физико-математических наук</p></bio><bio xml:lang="en"><p>candidate of physical and mathematical sciences</p></bio><email xlink:type="simple">aleksiadis@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский государственный университет им. М. В. Ломоносова; &#13;
Национальный исследовательский университет «МЭИ»</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Lomonosov Moscow State University; National Research University “MPEI”</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2022</year></pub-date><pub-date pub-type="epub"><day>13</day><month>01</month><year>2023</year></pub-date><volume>23</volume><issue>4</issue><fpage>11</fpage><lpage>19</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Алексиадис Н.Ф., 2022</copyright-statement><copyright-year>2022</copyright-year><copyright-holder xml:lang="ru">Алексиадис Н.Ф.</copyright-holder><copyright-holder xml:lang="en">Aleksiadis N.F.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.chebsbornik.ru/jour/article/view/1371">https://www.chebsbornik.ru/jour/article/view/1371</self-uri><abstract><p>Функциональная система представляет собой множество функций с некоторым набором операций, применяемых к этим функциям и приводящих к получению других функций из этого же множества.Функциональные системы являются одним из основных объектов дискретной математики и математической кибернетики, поскольку они являются математическими моделями реальных и абстрактных управляющих систем.Проблематика функциональных систем обширна. Одной из основных задач является проблема полноты, состоящая в описании таких подсистем функций, которые являются полными, т.е. из этих функций с помощью заданных операций над ними можно получить все функции.В статье рассматривается функциональная система рациональных функций с рациональными коэффициентами, где в качестве операций выступают операции суперпозиции и для этой системы исследуется специальный случай проблемы полноты, который представляет особый интерес — полные системы минимальной мощности, т.е. полные системы, состоящие из одной единственной рациональной функции; такие функции назовем𝐴-функциями (аналог функции Шеффера в двузначной логике).Автором этой статьи было установлено, что- существует A-функция;- мощность множества всех A-функций равно 𝑐_0;- найдены конкретные A-функции.</p></abstract><trans-abstract xml:lang="en"><p>functional system is a set of functions endowed with a set of operations on these functions.The operations allow one to obtain new functions from the existing ones.Functional systems are mathematical models of real and abstract control systems and thus are one of the main objects of discrete mathematics and mathematical cybernetic.The problems in the area of functional systems are extensive. One of the main problems is deciding completeness that consists in the description of all subsets of functions that are complete, i.e. generate the whole set.In our paper we consider the functional system of rational functions with rational coefficients endowed with the superposition operation. We investigate the special case of the completeness problem which is of a particular interest, namely obtaining complete systems of minimum cardinality, i.e. complete systems consisting of a single rational function (such functions arereferred to as 𝐴-functions and are analogues of Schaeffer stroke in Boolean logic).The main results of the paper are the following:</p><p>- there exists an A-function;- the cardinality of the set of all A-functions equals c_0;- a number of examples of A-functions are presented explicitly.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>функциональная система</kwd><kwd>проблема полноты</kwd><kwd>полная система</kwd><kwd>функ- ция Шеффера</kwd><kwd>рациональная функция</kwd><kwd>𝐴-функция.</kwd></kwd-group><kwd-group xml:lang="en"><kwd>functional system</kwd><kwd>completeness problem</kwd><kwd>complete system</kwd><kwd>Schaeffer function</kwd><kwd>rational function</kwd><kwd>𝐴-function.</kwd></kwd-group><funding-group><funding-statement xml:lang="ru">Работа выполнена в МГУ им. М. В. Ломоносова</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. О рациональных A-функциях с рациональными коэффициентами //</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2021, “Rational 𝐴-functions with rational coefficients“, Proc. 19th Int. Conf.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: совре-</mixed-citation><mixed-citation xml:lang="en">“Algebra, number theory and discrete geometry: modern problems, applications and problems of</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">менные проблемы, приложения и проблемы истории. Материалы XIX Международной</mixed-citation><mixed-citation xml:lang="en">history“, pp. 97-101.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">конференции, посвященной двухсотлетию со дня рождения академика П. Л. Чебышёва</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2011, “On the existence of recursive A-functions“, Vestnik MPEI, no. 6, pp.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">(Тула, 18–22 мая 2021 года). Тула, 2021. С. 93-97.</mixed-citation><mixed-citation xml:lang="en">-111.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. О существовании рекурсивных А-функций // Вестник МЭИ. 2011. 𝑁 6.</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N.Ph., &amp; Than Htun Aung 2013, “On the recursive A-function“, Proceedings of the</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">С. 109-111.</mixed-citation><mixed-citation xml:lang="en">XXI International Scientific and Technical Conference ‘Information tools and Technologies”,</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф., Тхан Тун Аунг Об одной рекурсивной А-функции // Труды XXI меж-</mixed-citation><mixed-citation xml:lang="en">vol. 3, pp. 96-101.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">дународной научно-технической конференции “Информационные средства и технологии”.</mixed-citation><mixed-citation xml:lang="en">Babin, D. N. 2020, “On the completeness problem for automata“, Proc. Intelligent systems.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">(Москва, 19-21 ноября 2013 г.) — М.: Издательский дом МЭИ, 2013. Т. 3. С. 96-101.</mixed-citation><mixed-citation xml:lang="en">Theory and Applications, vol. 23(4), pp. 82-83.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Бабин Д. Н. О задаче полноты для автоматов // Интеллектуальные системы. Теория и</mixed-citation><mixed-citation xml:lang="en">Gavrilov, G.P. 1965, “On functional completeness in countable logic“, Problems of cybernetics,</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">приложения. 2020. Т. 23, вып. 4. С. 82-83.</mixed-citation><mixed-citation xml:lang="en">vol. 15, pp. 5-64.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Гаврилов Г. П. О функциональной полноте в счетнозначной логике // Проблемы киберне-</mixed-citation><mixed-citation xml:lang="en">Kudryavtsev, V. B. 1965, “On the powers of sets of discrete sets of some functional systems</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">тики. 1965 (М. Наука). вып. 15. С. 5-64.</mixed-citation><mixed-citation xml:lang="en">related to automata“, Problems of cybernetics, vol. 13, pp. 45-74.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Кудрявцев В. Б. О мощностях множеств предполных множеств некоторых функциональ-</mixed-citation><mixed-citation xml:lang="en">Kudryavtsev, V. B. 1982, “Functional systems “, Moscow: Publishing House of Mekh-mat. fac.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">ных системах, связанных с автоматами //В кн.: Проблемы кибернетики. 1965 (М. Наука).</mixed-citation><mixed-citation xml:lang="en">MSU., 157 p.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">вып. 13. С. 45-74.</mixed-citation><mixed-citation xml:lang="en">Maltsev, A. I. 1976, “Selected works“. vol. II — Moscow: Publishing House “Nauka“, 388 p.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Кудрявцев В. Б. Функциональные системы. — М.: Изд–во МГУ, 1982. 157 с.</mixed-citation><mixed-citation xml:lang="en">Salomaa, A. 1963, “Some completeness criteria for sets of functions over a finite domain“, II.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Мальцев А. И. Избранные труды. Т. II — М.: Изд–во Наука, 1976. 388 с.</mixed-citation><mixed-citation xml:lang="en">Ibid., Ser. A I 63, 19 pp.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Саломаа А. Некоторые критерии полноты для множеств функций многозначной логики</mixed-citation><mixed-citation xml:lang="en">Chasavskikh, A. A. 2018, “The problem of completeness in classes of linear automata“, Intelligent</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">//В кн.: Кибернетический сборник. 1964 (М.: Мир). Т.8. С. 7-32.</mixed-citation><mixed-citation xml:lang="en">systems. Theory and Applications, vol. 22(2), pp. 151-154.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Часовских А. А. Проблема полноты в классах линейных автоматов // Интеллектуальные</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1986, “Introduction to discrete mathematics“, Moscow.:Science, 384 p.</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">системы. Теория и приложения. 2018. Т. 22, вып. 2. С. 151-154.</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1954, “On functional completeness in three-digit calculus“, DAN USSR, vol.</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. Введение в дискретную математику. — М.: Изд–во Наука, 1986. 384 с.</mixed-citation><mixed-citation xml:lang="en">(6), pp. 1153–1156.</mixed-citation></citation-alternatives></ref><ref id="cit25"><label>25</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. О функциональной полноте в трехзначном исчислении // ДАН СССР.</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1958, “Functional constructions in 𝑘-valued logic“, Proceedings of the Steklov</mixed-citation></citation-alternatives></ref><ref id="cit26"><label>26</label><citation-alternatives><mixed-citation xml:lang="ru">95. № 6. С. 1153–1156.</mixed-citation><mixed-citation xml:lang="en">Institute of Mathematics, vol.51, pp. 5–142.</mixed-citation></citation-alternatives></ref><ref id="cit27"><label>27</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. Функциональные построения в 𝑘 -значной логике // Тр. МИАН СССР</mixed-citation><mixed-citation xml:lang="en">Post, E. 1941,“Two-valued iterative sistems of mathematical logik“. — Prinston.</mixed-citation></citation-alternatives></ref><ref id="cit28"><label>28</label><citation-alternatives><mixed-citation xml:lang="ru">им. В. А. Стеклова. 1958. Т. 51. С. 5–142.</mixed-citation><mixed-citation xml:lang="en">Rosenberg, Y.1970, “Uber die functionale Vollst¨andigkeit in den mehrwertigen Logiken“. Praha,</mixed-citation></citation-alternatives></ref><ref id="cit29"><label>29</label><citation-alternatives><mixed-citation xml:lang="ru">Post E. Two-valued iterative sistems of mathematical logik. — Prinston. 1941.</mixed-citation><mixed-citation xml:lang="en">Rozpravi Ceskoslovenska Acodemie Ved., v. 80, №4, p. 393.</mixed-citation></citation-alternatives></ref><ref id="cit30"><label>30</label><citation-alternatives><mixed-citation xml:lang="ru">Rosenberg Y. Uber die functionale Vollst¨andigkeit in den mehrwertigen Logiken. // Praha,</mixed-citation><mixed-citation xml:lang="en">Slupecki, J. 1939, Kriterium pelnosci wielowar — tosciowych systemow logiki zdan. Comptes</mixed-citation></citation-alternatives></ref><ref id="cit31"><label>31</label><citation-alternatives><mixed-citation xml:lang="ru">Rozpravi Ceskoslovenska Acodemie Ved. v. 80, №4. P. 393,1970.</mixed-citation><mixed-citation xml:lang="en">Rendus des Seances de la Societe des Sciences et des Lettres de Varsivie, cl. III, v. 32, pp.</mixed-citation></citation-alternatives></ref><ref id="cit32"><label>32</label><citation-alternatives><mixed-citation xml:lang="ru">Slupecki J. Kriterium pelnosci wielowar — tosciowych systemow logiki zdan. // Comptes Rendus</mixed-citation><mixed-citation xml:lang="en">-128.</mixed-citation></citation-alternatives></ref><ref id="cit33"><label>33</label><citation-alternatives><mixed-citation xml:lang="ru">des Seances de la Societe des Sciences et des Lettres de Varsivie. 1939. Cl. III. v. 32. P. 102-128.</mixed-citation><mixed-citation xml:lang="en">des Seances de la Societe des Sciences et des Lettres de Varsivie. 1939. Cl. III. v. 32. P. 102-128.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
