Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Investigations Into Drosophila Wing Development—Results from a Lindenmayer Model Read chapter Read first chapter

1986 | OriginalPaper | Chapter

A New Proof for the Dol Sequence Equivalence Problem and its Implications

Authors : K. Culik II, J. Karhumäki

Published in: The Book of L

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Recently, the validity of the Ehrenfeucht Conjecture on test sets for morphisms has been established. Based on this result we give an entirely new proof of the decidability of the DOL sequence equivalence problem. The new technique is more powerful and allows us to prove that the sequence equivalence problems for HDOL and DTOL sequences are decidable, as well.We also survey the known results on various generalizations of the DOL sequence equivalence problem.

previous chapter Modular Trellises
next chapter On Compound Lindenmayer Systems
Metadata
Title
A New Proof for the Dol Sequence Equivalence Problem and its Implications
Authors
K. Culik II
J. Karhumäki
Copyright Year
1986
Publisher
Springer Berlin Heidelberg
Book
The Book of L

Print ISBN: 978-3-642-95488-7

Electronic ISBN: 978-3-642-95486-3

Copyright Year: 1986

DOI
https://doi.org/10.1007/978-3-642-95486-3_5

Premium Partner

    Image Credits