EDP Sciences Journals List
Home Document
Subscriber Authentication Point
Issue RAIRO-Theor. Inf. Appl.
Volume 42, Number 2, April-June 2008
Page(s) 217 - 236
DOI 10.1051/ita:2007036
Published online 13 December 2007

RAIRO-Theor. Inf. Appl. 42, 217-236 (2008)
DOI: 10.1051/ita:2007036

Binary operations on automatic functions

Juhani Karhumäki1, Jarkko Kari1 and Joachim Kupke2

1  University of Turku, Finland; karhumak@cs.utu.fi, jkari@utu.fi
2  ETH Zurich, Switzerland; joachimk@google.com


(Received September 9, 2005. Accepted May 2, 2006. Published online 13 December 2007.)

Abstract
Real functions on the domain [0,1)n - often used to describe digital images - allow for different well-known types of binary operations. In this note, we recapitulate how weighted finite automata can be used in order to represent those functions and how certain binary operations are reflected in the theory of these automata. Different types of products of automata are employed, including the seldomly-used full Cartesian product. We show, however, the infeasibility of functional composition; simple examples yield that the class of automatic functions (i.e., functions computable by automata) is not closed under this operation.


Mathematics Subject Classification. 68Q45, 68Q10, 68U10

Key words: Automatic functions -- weighted finite automata -- full Cartesian product


© EDP Sciences 2007


What is OpenURL?

The OpenURL standard is a protocol for transmission of metadata describing the resource that you wish to access. An OpenURL link contains article metadata and directs it to the OpenURL server of your choice. The OpenURL server can provide access to the resource and also offer complementary services (specific search engine, export of references...). The OpenURL link can be generated by different means.
  • If your librarian has set up your subscription with an OpenURL resolver, OpenURL links appear automatically on the abstract pages.
  • You can define your own OpenURL resolver with your EDPS Account. In this case your choice will be given priority over that of your library.
  • You can use an add-on for your browser (Firefox or I.E.) to display OpenURL links on a page (see http://www.openly.com/openurlref/). You should disable this module if you wish to use the OpenURL server that you or your library have defined.