On the equivalence problem for deterministic multitape automata and transducers

1989 ◽  
pp. 468-479 ◽  
Author(s):  
Karel Culik ◽  
Juhani Karhumäki
Keyword(s):  
Equivalence Problem

Equivalence problem of Mann and Ishikawa Iterations in Banach Spaces

2011 ◽  
Vol 12 (3) ◽  
pp. 279-288
Author(s):  
Shuang WANG ◽  
Guoqing CHAI ◽  
Changsong HU
Keyword(s):  
Banach Spaces ◽  
Equivalence Problem

Multiple Regularity and Binary ETOL-Systems1

1981 ◽  
Vol 4 (1) ◽  
pp. 19-34
Author(s):  
Ryszard Danecki
Keyword(s):  
Equivalence Problem ◽  
Tree Automata ◽  
Closure Properties ◽  
Multiple Tree

Closure properties of binary ETOL-languages are investigated by means of multiple tree automata. Decidability of the equivalence problem of deterministic binary ETOL-systems is proved.

scholarly journals Equivalence problem for the orthogonal webs on the 3-sphere

2011 ◽  
Vol 52 (5) ◽  
pp. 053509 ◽  
Author(s):  
Caroline M. Cochran ◽  
Raymond G. McLenaghan ◽  
Roman G. Smirnov
Keyword(s):  
Equivalence Problem

The Geometry of d2y1/dt2 = f (y, ẏ, t) and d2y2/dt2 = g(y, ẏ, t), and Euclidean Spaces

2006 ◽  
Vol 49 (2) ◽  
pp. 170-184
Author(s):  
Richard Atkins
Keyword(s):  
Differential Equations ◽  
Ordinary Differential Equations ◽  
Shortest Paths ◽  
Equivalence Problem ◽  
Second Order ◽  
System Of Differential Equations ◽  
Lagrange Equations ◽  
Invariant Functions ◽  
Underlying Geometry ◽  
The Relationship

AbstractThis paper investigates the relationship between a system of differential equations and the underlying geometry associated with it. The geometry of a surface determines shortest paths, or geodesics connecting nearby points, which are defined as the solutions to a pair of second-order differential equations: the Euler–Lagrange equations of the metric. We ask when the converse holds, that is, when solutions to a system of differential equations reveals an underlying geometry. Specifically, when may the solutions to a given pair of second order ordinary differential equations d2y1/dt2 = f (y, ẏ, t) and d2y2/dt2 = g(y, ẏ, t) be reparameterized by t → T(y, t) so as to give locally the geodesics of a Euclidean space? Our approach is based upon Cartan's method of equivalence. In the second part of the paper, the equivalence problem is solved for a generic pair of second order ordinary differential equations of the above form revealing the existence of 24 invariant functions.

scholarly journals Copyful Streaming String Transducers

2021 ◽  
Vol 178 (1-2) ◽  
pp. 59-76
Author(s):  
Emmanuel Filiot ◽  
Pierre-Alain Reynier
Keyword(s):  
Polynomial Time ◽  
Equivalence Problem ◽  
Expressive Power ◽  
The Other ◽  
Finite State Automata ◽  
Finite State ◽  
Variable Content ◽  
Deterministic Automata ◽  
Intermediate Output ◽  
Linear Manner

Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Černý in 2010 as a one-way deterministic automata model to define transductions of finite strings. Copyless SST extend deterministic finite state automata with a set of variables in which to store intermediate output strings, and those variables can be combined and updated all along the run, in a linear manner, i.e., no variable content can be copied on transitions. It is known that copyless SST capture exactly the class of MSO-definable string-to-string transductions, and are as expressive as deterministic two-way transducers. They enjoy good algorithmic properties. Most notably, they have decidable equivalence problem (in PSpace). On the other hand, HDT0L systems have been introduced for a while, the most prominent result being the decidability of the equivalence problem. In this paper, we propose a semantics of HDT0L systems in terms of transductions, and use it to study the class of deterministic copyful SST. Our contributions are as follows: (i)HDT0L systems and total deterministic copyful SST have the same expressive power, (ii)the equivalence problem for deterministic copyful SST and the equivalence problem for HDT0L systems are inter-reducible, in quadratic time. As a consequence, equivalence of deterministic SST is decidable, (iii)the functionality of non-deterministic copyful SST is decidable, (iv)determining whether a non-deterministic copyful SST can be transformed into an equivalent non-deterministic copyless SST is decidable in polynomial time.

Sign in / Sign up

Export Citation Format

Share Document