• Aucun résultat trouvé

Distinguishing Transition Systems With The Nondeterministic Behavior

N/A
N/A
Protected

Academic year: 2022

Partager "Distinguishing Transition Systems With The Nondeterministic Behavior"

Copied!
10
0
0

Texte intégral

Références

Documents relatifs

In this work we consider the general question: for a given algebraic formal power series with coefficients in a finite field, what kind of regularity (if any) can be expected for

Three key examples are detailed: a linearized Schr¨odinger equation describing the interaction of an electro-magnetic field (the control) with an n-levels quantum system; the

As a corollary, we obtain the result from [IKP01] and [IKT01] that if K is a centrally symmetric convex body with a smooth boundary and non-vanishing curvature, then L 2 (K) does

This paper is organized as follows. In section 2, we defme the notion of a P-trace and the notion of a CCI set of P-traces. In section 3, we characterize the équivalence relations

If I could have raised my hand despite the fact that determinism is true and I did not raise it, then indeed it is true both in the weak sense and in the strong sense that I

This model represents the distribution of an output sequence when given an input sequence of the same length, using a hidden state variable and a Markovian independence assumption,

Disclaimer: layout of this document may differ from the published version. 1

We shall say that two power series f, g with integral coefficients are congruent modulo M (where M is any positive integer) if their coefficients of the same power of z are