✦ LIBER ✦

The Equivalence Problem for DF0L Languages and Power Series

✍ Scribed by Juha Honkala

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 158 KB
Volume: 65
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.2002.1850

No coin nor oath required. For personal study only.

✦ Synopsis

We show that equivalence is decidable for D0L systems with finite axiom sets. We discuss also DF0L power series and solve their equivalence problem over computable fields.

📜 SIMILAR VOLUMES

The equivalence problem for LL- and LR-r

The equivalence problem for LL- and LR-regular grammars

✍ Anton Nijholt 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 733 KB

Comparing The Expressive Power of Some L

Comparing The Expressive Power of Some Languages for Boolean Algebras

✍ Lutz Heindorf 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

p-reductive homogeneous spaces and the e

p-reductive homogeneous spaces and the equivalence problem for some transitive structures

✍ Claude Albert 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 622 KB

Contribution to the solution of the thre

Contribution to the solution of the three-body problem in power series form

✍ Pasquale Sconzo 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 532 KB

The Equivalence of the Uniqueness of the

The Equivalence of the Uniqueness of the Dirichlet Problem and the Maximum Principle for Elliptic Systems

✍ C.P. Zhou 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 252 KB

An inverse power series for the free-spa

An inverse power series for the free-space Green's function

✍ Stephen Leifer; Robert J. Burkholder 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB