نتایج جستجو برای: congruence myhill nerode

تعداد نتایج: 8533  

2007
Marjorie Armstrong-Stassen Seung Hwan Lee Sheila J. Cameron

Work status congruence is the extent to which employees’ current work status (full time or part time) is congruent with their desired work status (Maynard, Thorsteinson & Parfyonova, 2006). Work status incongruence occurs when employees’ work status is inconsistent with their preferred work status, i.e., they are working full time but prefer to work part time or they are working part time but p...

Journal: :SIAM Journal on Matrix Analysis and Applications 2022

This paper aims at solving the Hermitian SDC problem, i.e., that of \textit{simultaneously diagonalizing via $*$-congruence} a collection finitely many (not need pairwise commute) matrices. Theoretically, we provide some equivalent conditions for such matrix can be simultaneously diagonalized $^*$-congruence.% by nonsingular matrix. Interestingly, one leads to existence positive definite soluti...

2010
Jarkko Kari Enrico Formenti Ivan Rapaport Siamak Taati

The Moore-Myhill Garden of Eden theorem asserts that a cellular automaton with finite alphabet over a free abelian group of rank 2 is surjective if and only if it is pre-injective. Here, pre-injectivity means that two configurations which coincide outside of a finite subset of the group must coincide everywhere if they have the same image under the cellular automaton. The Garden of Eden theorem...

Journal: :Theor. Comput. Sci. 2003
Yuxi Fu Zhenrong Yang

The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...

Journal: :Health psychology : official journal of the Division of Health Psychology, American Psychological Association 2009
Jamie A Cvengros Alan J Christensen Cassie Cunningham Steven L Hillis Peter J Kaboli

OBJECTIVE Research has suggested that congruence between patient characteristics and contextual characteristics is a more robust predictor of outcomes than either patient or context characteristics alone. The goal of the present study was to examine the degree of congruence between patient preferences for the clinical encounter and reports of analogous dimensions of provider behavior and the ef...

2007
PATRICK M. GILMER Patrick Gilmer

Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f : weak f -congruence, f -congruence, and strong f -congruence. If f is odd, weak f -congruence preserves the ring structure on cohomology with Zf -coefficients. We show that strong f -congruence coincides with a relation previously stu...

Journal: :Experimental Mathematics 2003
Chris Cummins Sebastian Pauli

A subgroup of Γ which contains some principal congruence subgroup is called a congruence subgroup. The level of a congruence subgroup G is the smallest N such that Γ(N) ⊂ G. The literature on congruence subgroups is vast, and the subject remains very active. Rademacher conjectured that there are only finitely many genus 0 congruence subgroups. This problem was studied by Knopp and Newman [Knopp...

1996
B. DATSKOVSKY Dennis A. Hejhal

In 1916 Ramanujan observed a remarkable congruence: τ(n) ≡ σ11(n) mod 691. The modern point of view is to interpret the Ramanujan congruence as a congruence between the Fourier coefficients of the unique normalized cusp form of weight 12 and the Eisenstein series of the same weight modulo the numerator of the Bernoulli number B12. In this paper we give a simple proof of the Ramanujan congruence...

2014
Mikolaj Bojanczyk

Call a string-to-string function regular if it can be realised by one of the following equivalent models: mso transductions, two-way deterministic automata with output, and streaming transducers with registers. This paper proposes to treat origin information as part of the semantics of a regular string-to-string function. With such semantics, the model admits a machine-independent characterisat...

Journal: :J. Comput. Syst. Sci. 1982
Jerry Goldman Steven Homer

In this paper the notion of a quadratic automaton transformation is defined and studied. The automata considered transform infinite input sequences of elements from a finite commutative ring with identity to infinite output sequences. Results extending the linear automaton transformation theory of 4. Nerode are derived and two distinct approaches to machine realization arise depending upon whet...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید