Advanced search
Publication Cover
International Journal of Computer Mathematics Volume 82, 2005 - Issue 8
Submit an article Journal homepage
35
Views
0
CrossRef citations to date
0
Altmetric
Original Articles

The equivalence problem for languages defined by transductions on D0L languages

Juha Honkala Department of Mathematics, University of Turku, FIN-20014, Turku, FinlandCorrespondence[email protected]
Pages 911-918 | Received 26 Oct 2004, Published online: 25 Jan 2007
 
Sample our Mathematics & Statistics journals, sign in here to start your FREE access for 14 days

Abstract

We study the equivalence problem for languages defined by various types of transducers acting on D0L languages. We show that, given ϵ-free sequential transducers S 1, …, S k , T 1, …, T k and D0L languages L 1, L 2, whether or not |S 1|(L 1)∪···∪|S k |(L 1)=|T 1|(L 2)∪···∪|T k |(L 2) is decidable.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.