Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]:
Year:
Volume:
Issue:
Page:
Find




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

Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2016, Issue 1, Pages 103–115 (Mi vtpmk8)  
Theoretical Foundations of Computer Science

On the application of finite-state machines to the investigation of the fixed-point theory decidability

A. S. Zolotov

Tver State University
Full-text PDF (343 kB)
References:
PDF
HTML
Abstract: We investigate effective elimination of the fixed point operator in a theory of integers with a single successor function. We construct a finite-state machine for a language containing words matching the least fixed point.
Keywords: decidability, fixed point operator, finite-state machine.
Received: 15.01.2016
Revised: 08.02.2016
Bibliographic databases:
Document Type: Article
UDC: 533.6, 517.95
Language: Russian
Citation: A. S. Zolotov, “On the application of finite-state machines to the investigation of the fixed-point theory decidability”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2016, no. 1, 103–115
Citation in format AMSBIB
\Bibitem{Zol16}
\by A.~S.~Zolotov
\paper On the application of finite-state machines to the investigation of the fixed-point theory decidability
\jour Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]
\yr 2016
\issue 1
\pages 103--115
\mathnet{http://mi.mathnet.ru/vtpmk8}
\elib{https://elibrary.ru/item.asp?id=25584216}
Linking options:
  • https://www.mathnet.ru/eng/vtpmk8
  • https://www.mathnet.ru/eng/vtpmk/y2016/i1/p103
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
    Statistics & downloads:
    Abstract page:132
    Full-text PDF :62
    References:48
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024