University proceedings. Volga region. Physical and mathematical sciences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


University proceedings. Volga region. Physical and mathematical sciences:
Year:
Volume:
Issue:
Page:
Find




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

University proceedings. Volga region. Physical and mathematical sciences, 2012, Issue 1, Pages 31–43 (Mi ivpnz506)  
Mathematics

Multidimensional minimization of nondeterministic finite automata (Part II. Basic algorithms)

B. Melnikova, A. A. Melnikovab

a Tolyatti State University, Tolyatti
b Dimitrovgrad branch of Ulyanovsk State University, Dimitrovgrad
Full-text PDF (382 kB)
References:
PDF
HTML
Abstract: In the second part of this paper the authors consider the detailed example of construction of binary relation # and the set of grids of the given regular language; this construction is made in the process of canonization of an automaton defining this language. The article considers two algorithms of combining states of nondeterministic automaton. Based on these algorithms, the researchers formulate a brief algorithm of the edge-minimization, and also an algorithm for adding an edge.
Keywords: nondeterministic finite automaton, basis automaton, algorithms of equivalent transformation, state-minimization, edge-minimization.
Document Type: Article
UDC: 519.178
Language: Russian
Citation: B. Melnikov, A. A. Melnikova, “Multidimensional minimization of nondeterministic finite automata (Part II. Basic algorithms)”, University proceedings. Volga region. Physical and mathematical sciences, 2012, no. 1, 31–43
Citation in format AMSBIB
\Bibitem{MelMel12}
\by B.~Melnikov, A.~A.~Melnikova
\paper Multidimensional minimization of nondeterministic finite automata (Part II. Basic algorithms)
\jour University proceedings. Volga region. Physical and mathematical sciences
\yr 2012
\issue 1
\pages 31--43
\mathnet{http://mi.mathnet.ru/ivpnz506}
Linking options:
  • https://www.mathnet.ru/eng/ivpnz506
  • https://www.mathnet.ru/eng/ivpnz/y2012/i1/p31
    Cycle of papers
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		University proceedings. Volga region. Physical and mathematical sciences
    Statistics & downloads:
    Abstract page:26
    Full-text PDF :8
    References:18
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024