Decidability of equivalence for deterministic synchronized tree automata

被引：0

|

作者：

Univ of Turku, Turku, Finland ^{[1
]}

机构：

来源：

Theor Comput Sci | / 1-2卷 / 171-192期

关键词：

Number:; -; Acronym:; Sponsor: Academy of Finland;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] Complexity of equivalence and learning for multiplicity tree automata
Department of Computer Science, University of Oxford, Parks Road, Oxford
OX1 3QD, United Kingdom
J. Mach. Learn. Res., 1600, (2465-2500):
[42] Complexity of Equivalence and Learning for Multiplicity Tree Automata
Marusic, Ines
Worrell, James
JOURNAL OF MACHINE LEARNING RESEARCH, 2015, 16 : 2465 - 2500
[43] Complexity of Equivalence and Learning for Multiplicity Tree Automata
Marusic, Ines
Worrell, James
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 414 - 425
[44] Decidability of the minimization of fuzzy tree automata with membership values in complete lattices
Ghorani, Maryam
Moghari, Somaye
JOURNAL OF APPLIED MATHEMATICS AND COMPUTING, 2022, 68 (01) : 461 - 478
[45] Decidability of the minimization of fuzzy tree automata with membership values in complete lattices
Maryam Ghorani
Somaye Moghari
Journal of Applied Mathematics and Computing, 2022, 68 : 461 - 478
[46] Algorithmic Formal Proof of Equivalence of Nondeterministic and Deterministic Finite Automata
Zafar, Nazir Ahmad
Shah, Syed Hasnain Haider
ICECT: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMPUTER TECHNOLOGY, PROCEEDINGS, 2009, : 108 - +
[47] EQUIVALENCE PROBLEM FOR DETERMINISTIC FINITE-TURN PUSHDOWN AUTOMATA
VALIANT, LG
INFORMATION AND CONTROL, 1974, 25 (02): : 123 - 133
[48] Polynomial algorithm for equivalence problem of deterministic multitape finite automata
Grigoryan, Hayk A.
Shoukourian, Samvel K.
THEORETICAL COMPUTER SCIENCE, 2020, 833 (833) : 120 - 132
[49] LR (0) conjunctive grammars and deterministic synchronized alternating pushdown automata
Aizikowitz, Tamar
Kaminski, Michael
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016, 82 (08) : 1329 - 1359
[50] Deterministic input-driven queue automata: Finite turns, decidability, and closure properties
Kutrib, Martin
Malcher, Andreas
Mereghetti, Carlo
Palano, Beatrice
Wendlandt, Matthias
THEORETICAL COMPUTER SCIENCE, 2015, 578 : 58 - 71

← 1 2 3 4 5 →