Solution of the generalized minimization problem for two-tape automata with one fixed tape

被引:0
|
作者
Khachatryan, V. E. [1 ]
机构
[1] Belgorod State Univ, Fac Comp Sci & Telecommun, Belgorod 308015, Russia
基金
俄罗斯基础研究基金会;
关键词
D O I
10.1134/S1064562406060147
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A solution of the generalized minimization problem for two-tape automata with one fixed tape always filled with a fixed symbol, is provided. The problem was formulated to find an automaton with a minimal number of states in its equivalence and to describe a procedure whereby the automaton found is used to construct any minimal automaton in the same equivalence class. For every automaton, an auxiliary finite automaton can be constructed by supplying the arcs issuing from each state with an additional label of that state. Two-typwe automata are called strongly equivalent if their auxiliary finite automations are equivalent in the usual sense. It was established that the set of automata contains equivalence classes with an infinite number of deadlock automata.
引用
收藏
页码:839 / 843
页数:5
相关论文
共 50 条
  • [31] GENERALIZED SOLUTION OF A NONCONVEX MINIMIZATION PROBLEM AND ITS STABILITY.
    Roubicek, Tomas
    Kybernetika, 1986, 22 (04): : 289 - 298
  • [32] LANGUAGES SIMULTANEOUSLY COMPLETE FOR ONE-WAY AND 2-WAY LOG-TAPE AUTOMATA
    HARTMANIS, J
    MAHANEY, S
    SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 383 - 390
  • [33] APPLICATION OF THE PARALLEL PLATE CANONICAL PROBLEM IN PREDICTING DIFFRACTION CAUSED BY A TAPE FIXED ON A GROUND PLANE
    PHILIPPAKIS, M
    PARINI, CG
    ELECTRONICS LETTERS, 1992, 28 (15) : 1413 - 1415
  • [34] Numerical solution of nonlinear electromagnetic field problem of superconducting tape using convex optimization
    Tang, Yunkai
    Liu, Donghui
    Li, Dongke
    Qin, Hao
    Yong, Huadong
    EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, 2024,
  • [35] GENERALIZED SOLUTION OF ONE DIFFERENTIAL PROBLEM OF MECHANICS
    RUSHCHIT.YY
    RUSHCHIT.SO
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1974, (07): : 632 - 636
  • [36] The Roles of Advice to One-Tape Linear-Time Turing Machines and Finite Automata (Extended Abstract)
    Yamakami, Tomoyuki
    ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2009, 5878 : 933 - 942
  • [37] ON THE POLYNOMIAL SOLUTION OF THE H-INFINITY GENERALIZED SENSITIVITY MINIMIZATION PROBLEM
    CASAVOLA, A
    MOSCA, E
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 1500 - 1505
  • [38] On the uniqueness of the solution of the cost minimization problem with generalized Sato production function
    Kojic, Vedran
    Lukac, Zrinka
    Puljic, Krunoslav
    CROATIAN OPERATIONAL RESEARCH REVIEW, 2021, 12 (01) : 37 - 48
  • [39] Generalized problem of two fixed centers or the Darboux-Gredeaks problem
    Lukyanov, LG
    Emeljanov, NV
    Shirmin, GI
    COSMIC RESEARCH, 2005, 43 (03) : 186 - 191
  • [40] Generalized Problem of Two Fixed Centers or the Darboux-Gredeaks Problem
    L. G. Lukyanov
    N. V. Emeljanov
    G. I. Shirmin
    Cosmic Research, 2005, 43 : 186 - 191