An Hadamard operation on rational relations

نویسنده

  • Christian Choffrut
چکیده

We consider a new operation on the family of binary relations on integers called Hadamard star. View a binary relation R ⊆ N × N as a mapping of N into the power set of N and let R(n) denote the subset of integers m such that (n,m) ∈ R. Then the Hadamard star of R is the relation which assigns to each integer n the Kleene star of R(n). This is reminiscent of the Hadamard inverse of series with coefficients in a field. We characterize the rational relations whose Hadamard star is also rational and show that this property is decidable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

What Does a Conditional Knowledge Base Entail?

This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation A condi tional knowledge base consisting of a set of conditional assertions of the type if then represents the explicit defeasible knowledge an agent has about the way the world generally behaves We look for a plausible de nition of the set of all conditional assertions en...

متن کامل

ON 2PFA’s AND THE HADAMARD QUOTIENT OF FORMAL POWER SERIES

We present the main results on 2PFA’s and on the Hadamard quotient of formal power series, the connection between the two notions being a result stating that the event defined by a 2PFA is the Hadamard quotient of two rational power series.

متن کامل

LETTER Complex Hadamard Codes ∗

In this letter, a method to construct good binary and quaternary error correcting codes, called complex Hadamard codes, based on a complex Hadamard matrix is presented. The related properties of the codes are analyzed. In addition, through the operation in Z4 domain, a new simplex soft-decision decoding algorithm for the complex Hadamard codes is also proposed. key words: complex Hadamard matri...

متن کامل

Hadamard Well-posedness for a Family of Mixed Variational Inequalities and Inclusion Problems‎

In this paper, the concepts of well-posednesses and Hadamard well-posedness for a family of mixed variational inequalities are studied. Also, some metric characterizations of them are presented and some relations between well-posedness and Hadamard well-posedness of a family of mixed variational inequalities is studied. Finally, a relation between well-posedness for the family of mixed variatio...

متن کامل

A Note on Join and Auto-Intersection of n-ary Rational Relations

A finite-state machine with n tapes describes a rational (or regular) relation on n strings. It is more expressive than a relational database table with n columns, which can only describe a finite relation. We describe some basic operations on n-ary rational relations and propose notation for them. (For generality we give the semiring-weighted case in which each tuple has a weight.) Unfortunate...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 664  شماره 

صفحات  -

تاریخ انتشار 2017