The Linguistic Geometry (LG) approach to discrete systems was introduced by B. Stilman in early 80s. It employed competing/cooperating agents for modeling and controlling of discrete systems. The approach was applied to a variety of problems with huge state spaces including control of aircraft, battlefield robots, and chess. One of the key innovations of LG is the use of almost winning strategi...

Part 1. Self-reference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1. Self reproducing Turing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2. Myhill’s characterization of r.e.-complete sets . . . . . . . . . . . . . . . . . . . . . . . . . 5 3. The Myhill-Shepherdson Theorem . . . . . . . . . ....

This note presents a correction to 1, Theorem 4] which provides a necessary and suucient condition for dispatchability. 1 Notation The following additional notation is introduced: The notation s L s 0 is used to denote that strings s; s 0 are equivalent under the Nerode equivalence induced by the language L.

Capitalizing upon Implicit Leadership Theories (ILTs) and Leader-member exchange (LMX), this research aims to explore the relationship between the congruence of employees’ ILTs and those traits of their managers and employees’ supportiveness, resistance and behavioral creativity for change. After distributing three questionnaires at three points among teachers, 296 participants completed all th...

this paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical galois theory and involves generalized central extensions, commutators, and internal groupoids in barr exact mal’tsev and more general categories. galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

Enumerating regular expressions and their languages p. 2 A general weighted grammar library p. 23 On the complexity of Hopcroft's state minimization algorithm p. 35 Implementation of catalytic P systems p. 45 Code selection by tree series transducers p. 57 Some non-semi-decidability problems for linear and deterministic context-free languages p. 68 Brute force determinization of NFAs by means o...

This is the first paper on constructive concurrent dynamic logic (CCDL). For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on...