Abstract Given two subsets S1,S2 of Nk, we say that S1 is commutatively equivalent to S2 if there exists a bijection f:S1⟶S2 from S1 onto S2 such that, for every v∈S1, |v|=|f(v)|, where |v| denotes the sum of the components of v. We prove that every semi-linear set of Nk is commutatively equivalent to a recognizable subset of Nk.
On the commutative equivalence of semi-linear sets of N^k / D'Alessandro, Flavio; Benedetto, Intrigila. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 562:(2014), pp. 476-495. [10.1016/j.tcs.2014.10.030]
On the commutative equivalence of semi-linear sets of N^k
D'ALESSANDRO, Flavio;
2014
Abstract
Abstract Given two subsets S1,S2 of Nk, we say that S1 is commutatively equivalent to S2 if there exists a bijection f:S1⟶S2 from S1 onto S2 such that, for every v∈S1, |v|=|f(v)|, where |v| denotes the sum of the components of v. We prove that every semi-linear set of Nk is commutatively equivalent to a recognizable subset of Nk.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.