Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2019, Number 1, Pages 52–54 (Mi vmumm600)  

Short notes

Solvability of the problem of completeness of automaton basis depending on its boolean part

D. N. Babin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
References:
Abstract: We consider the problem of completeness of systems of automaton functions with operations of superposition and feedback of the form $\Phi\cup\nu,$ where $\Phi\subseteq P_2$, $\nu$ is finite. The solution of this problem leads to separation of the lattice of closed Post classes into strong ones (whose presence in the studied system guarantees the solvability of the completeness problem of finite bases) and weak ones (whose presence in the studied system does not guarantee this). It turns out that the classifications of bases by the properties of completeness and A-completeness coincide. The paper describes this classification.
Key words: finite automaton, superposition, feedback, closed class.
Received: 20.04.2018
English version:
Moscow University Mathematics Bulletin, 2019, Volume 74, Issue 1, Pages 32–34
DOI: https://doi.org/10.3103/S0027132219010066
Bibliographic databases:
Document Type: Article
UDC: 511
Language: Russian
Citation: D. N. Babin, “Solvability of the problem of completeness of automaton basis depending on its boolean part”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2019, no. 1, 52–54; Moscow University Mathematics Bulletin, 74:1 (2019), 32–34
Citation in format AMSBIB
\Bibitem{Bab19}
\by D.~N.~Babin
\paper Solvability of the problem of completeness of automaton basis depending on its boolean part
\jour Vestnik Moskov. Univ. Ser.~1. Mat. Mekh.
\yr 2019
\issue 1
\pages 52--54
\mathnet{http://mi.mathnet.ru/vmumm600}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3943133}
\zmath{https://zbmath.org/?q=an:1416.68117}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2019
\vol 74
\issue 1
\pages 32--34
\crossref{https://doi.org/10.3103/S0027132219010066}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000465628800006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85064835163}
Linking options:
  • https://www.mathnet.ru/eng/vmumm600
  • https://www.mathnet.ru/eng/vmumm/y2019/i1/p52
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:120
    Full-text PDF :25
    References:23
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024