Solvability of Word Equations Modulo Finite Special And. Conuent String-Rewriting Systems Is Undecidable In General.
|
|
- Noreen Powell
- 5 years ago
- Views:
Transcription
1 Solvability of Word Equations Modulo Finite Special And Conuent String-Rewriting Systems Is Undecidable In General Friedrich Otto Fachbereich Mathematik/Informatik, Universitat GH Kassel Kassel, Germany Keywords: Formal languages, word equations, string-rewriting. Abstract A nite special and conuent string-rewriting system S is constructed such that it is undecidable in general whether a word equation is solvable mod S. Thus, (word) unication mod S is undecidable. 1 Introduction The problem of deciding whether an equation has a solution is one of the most fundamental problems in mathematics. Under the name of "unication" this problem has received much attention in the computer science literature. For various theories algorithms have been developed that not only allow to decide whether a given equation has a solution modulo the theory considered, but that in the armative also compute a basis for the set of all solutions, that is, a "complete set of most general uniers" (See [14] for an overview). One of the most important results in this area is Makanin's proof that it is decidable whether a word equation u v has a solution in a free semigroup [6]. Here u and v are strings that contain letters from a given alphabet as well as variables from a set of variables V, and the equation u v is said to be solvable if there exists a morphism (a "solution") : V! such that (u) and (v) are identical strings. This means that "uniability modulo associativity" is decidable. Since Makanin's paper appeared, his algorithm has been the object of many research activities. The objectives have been to simplify the proof of the termination and correctness of his algorithm [11, 13], to develop simpler algorithms for deciding the solvability of word equations [5, 12], and to compute a description for the set of all solutions of a solvable word equation [8]. Observe that a word equation can have a minimal complete set of most general uniers that is innite, that is, the theory of associativity is of unication type innitary. Makanin also proved that the solvability of word equations in free groups is decidable [7]. Since the free group in n generators can be seen as a factor monoid of the free monoid in 2n generators, it is only natural to ask whether the solvability of word equations can be generalized to a still larger class of non-free monoids. Book [2] introduces a restricted class of logical formulae that he calls "linear sentences." The purely existential "linear sentences" are just disjunctions of word equations containing no variable more than once. Book proves that it is decidable in polynomial time whether an existential linear sentence is valid with respect to an interpretation that is induced by a nite, monadic, and conuent string-rewriting system. In fact, he considers constrained solutions in 1
2 that he allows that, for each variable occuring in the sentence under consideration, a regular set may be specied as the domain for this variable. In a recent paper Oleshchuk applies the technique of narrowing to word equations showing that it is decidable whether a word equation has a solution modulo a nite string-rewriting system that is homogeneous of degree 2, that is, each rule of this system has a left-hand side of length 2 and the empty string as right-hand side [10]. Actually, Oleshchuk works with nite homogeneous systems of degree 2 that are in addition conuent, and then he uses a result of Book [3] which states that for each nite and homogeneous string-rewriting system of degree 2 there exists a conuent system of the same type that is isomorphic to the original system under a morphism that identies some of the letters. To which classes of nite string-rewriting systems can Oleshchuk's decidability result be generalized? On the one hand, it is not hard to see that the Post Correspondence Problem can be reduced to the problem of deciding whether a word equation is solvable modulo a nite monadic and conuent string-rewriting system (see, e.g., [4] Section 4.5). On the other hand, Adian has shown that there exists a nite homogeneous string-rewriting system S 3 of degree 3 such that the word problem for S 3 is undecidable [1], and hence, since the word problem of S 3 is obviously a special case of the problem of deciding whether a word equation has a solution modulo S 3, the latter problem is also undecidable. Here we show that Oleshchuk's result cannot be carried over to the class of all nite and special string-rewriting systems that are conuent (see the next section for the denitions). We construct a xed nite string-rewriting system S that is special and conuent such that it is undecidable in general whether a given word equation has a solution mod S. In particular, this shows that for nite special and conuent string-rewriting systems the validity of nonlinear sentences in the sense of Book is undecidable. 2 Denitions and Results Let be a nite alphabet, and let X := fx i j i 1g be a countable set of (existential) variables such that \ X = ;. A word equation (over ) is an expression of the form u v, where u and v are strings from ( [ X). For w 2 ( [ X), X(w) denotes the set of variables that occur in the string w, that is, X(w) := fx i 2 X j jwj xi > 0g. A mapping : X(u) [ X(v)! is called a solution of the word equation u v if the strings (u) and (v) coincide. Here is extended to a mapping from (X(u) [ X(v) [ ) into in the obvious way. The solvability problem for word equations is the following decision problem: INSTANCE: A word equation u v over. QUESTION: Does this word equation have a solution, that is, is there a mapping : X(u) [ X(v)! such that the strings (u) and (v) are identical? As mentioned in the introduction Makanin has shown that this problem is decidable [6]. Here we are interested in a generalization of this problem. Let S be a string-rewriting system on. Then! S denotes the Thue congruence on that is generated by S. The solvability problem for word equations modulo S is the following decision problem: INSTANCE: A word equation u v over. QUESTION: Does this equation have a solution modulo S, that is, is there a mapping : X(u) [ X(v)! such that (u)! S (v) holds? Obviously the word problem for S is reducible to this problem. Thus, the solvability problem for word equations modulo S is undecidable for each nite string-rewriting system 2
3 S that has an undecidable word problem. Therefore, we are interested in certain restricted classes of nite string-rewriting systems. A nite string-rewriting system S is called length-reducing if j`j > jrj holds for each rule (`! r) 2 S. Here jwj denotes the length of the string w. The system S is called monadic if it is length-reducing and r 2 [ fg holds for each rule (`! r) 2 S, where denotes the empty string. Further, S is a special system if it is length-reducing, and r = for each rule (`! r) 2 S, and it is homogeneous of degree k, if it is special, and j`j = k holds for each rule (`! r) 2 S. Finally, S is conuent if u! S v implies that there exists a string w such that u?! S w and v?! S w. Here?! S denotes the reduction relation that is induced by S, which is the reexive and transitive closure of the following single-step reduction relation: u?! S v i 9g; h 2 9(`! r) 2 S : u = g`h and v = grh: A length-reducing and conuent system S denes a unique normal form for each congruence class [w] S := fu 2 j u! S wg, since each such class contains one and only one string that is irreducible modulo S. By IRR(S) we denote the set of strings that are irreducible modulo S. Thus, for each system of this form the word problem is decidable in linear time [4]. For more information on string-rewriting systems the reader is asked to consult the literature, e.g., [4]. Here we want to establish the following undecidability result. Theorem 2.1 There exists a nite, special, and conuent string-rewriting system S such that the solvability problem for word equations modulo S is undecidable. Since the solvability problem is a special case of the problem of determining whether a nonlinear sentence in the sense of Book ([2], see also [4]) is valid, we obtain the following consequence. Corollary 2.2 There exists a nite special and conuent string-rewriting system S such that it is undecidable in general whether or not a nonlinear sentence is valid under the interpretation induced by S. In the rest of this note we present a proof of Theorem The Proof Theorem 2.1 will be proved by a reduction from the Post Correspondence Problem (PCP). In fact, it is known (see, e.g., [9]) that there exists a set of pairs of nonempty strings P = f(u i ; v i ) j i = 2; : : :; kg fa; bg + fa; bg + such that the following problem is undecidable: INSTANCE: Two strings u 1 ; v 1 2 fa; bg +. QUESTION: Does the modied PCP f(u 1 ; v 1 )g [ P have a solution, that is, does there exist a sequence of integers i 1 ; : : :; i n 2 f2; : : :; kg such that u 1 u i1 : : :u in = v 1 v i1 : : : v in? We dene a special string-rewriting system Sp(P ) on the alphabet as follows:? := fa; b; a 0 ; b 0 ; z 2 ; : : :; z k ; z 0 2 ; : : :; z0 k g 3
4 u i z i! ; i = 2; : : :; k zi 0(v0 i )! ; i = 2; : : :; k zi 0 z i! ; i = 2; : : :; k aa 0! ; bb 0! ; where :?!? denotes the function reversal, and 0 : fa; bg! fa 0 ; b 0 g denotes the obvious isomorphism. There are no overlaps between left-hand sides of rules of Sp(P ), and hence, Sp(P ) is a nite special and conuent system. Let :=? [ f$g, where $ is an additional symbol, and, for u 1 ; v 1 2 fa; bg +, let (u 1 ; v 1 ) denote the following word equation over : (u 1 ; v 1 ) := $x 1 x 3 $x 4 x 2 $x 4 x 3 $u 1 x 1 x 2 (v 0 1)$ $ 5, where x 1 ; : : :; x 4 are variables. Finally, we dene four regular subsets of : R 1 := fa; bg ; R 2 := fa 0 ; b 0 g ; R 3 := fz 2 ; : : :; z k g ; R 4 := fz 0 2 ; : : :; z0 k g. Lemma 3.1 If the modied PCP f(u 1 ; v 1 )g [ P has a solution, then there exist strings s i 2 R i, i = 1; : : :; 4, such that $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1)$! Sp(P ) $5. Proof. Let i 1 ; : : :; i n 2 f2; : : :; kg be such that u 1 u i1 : : : u in = v 1 v i1 : : : v in. Take s 1 := u i1 : : : u in 2 R 1, s 2 := (v 0 i 1 : : : v 0 i n ) 2 R 2, s 3 := z in : : :z i1 2 R 3, and s 4 := z 0 i 1 : : : z 0 i n 2 R 4. Then $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1 )$ = $u i1 : : :u in z in : : :z i1 $z 0 i 1 : : :z 0 i n (v 0 i n ) : : :(v 0 i 1 )$z 0 i 1 : : : z 0 i n z in : : :z i1 $u 1 u i1 : : : u in (v 0 i n ) : : :(v 0 i 1 )(v 0 1 )$?! Sp(P ) $5. Lemma 3.2 If there exist strings s i 2 R i, i = 1; : : :; 4, such that $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1)$! Sp(P ) $5, then the modied PCP f(u 1 ; v 1 )g [ P has a solution. Proof. Let s i 2 R i (i = 1; : : :; 4) be chosen such that the above congruence holds. Since $ 5 2 IRR(Sp(P )), and since no left-hand side of a rule of Sp(P ) contains an occurrence of the symbol $, we see that s 1 s 3?! Sp(P, s ) 4 s 2?! Sp(P, s ) 4 s 3?! Sp(P, and ) u 1 s 1 s 2 (v 0 ) 1?! Sp(P. Since s ) 1 2 fa; bg and s 2 2 fa 0 ; b 0 g, u 1 s 1 s 2 (v 0 ) 1?! Sp(P by only ) using the rules aa 0! and bb 0!, that is, u 0 1 s0 1 = (s 2 (v1)) 0 = v 0 1 (s 2). Since s 1 2 fa; bg and s 3 2 fz 2 ; : : :; z k g, s 1 s 3?! Sp(P implies that s ) 3 = z in : : :z i1 and s 1 = u i1 : : :u in for some indices i 1 ; : : :; i n 2 f2; : : :; kg. Analogously, s 4 s 2?! Sp(P implies that s ) 4 = zj 0 1 : : : zj 0 m and s 2 = (vj 0 m ) : : :(vj 0 1 ) for some indices j 1 ; : : :; j m 2 f2; : : :; kg. Finally, s 4 s 3?! Sp(P ) implies that n = m and i h = j h for all h = 1; : : :; n, that is, s 1 = u i1 : : : u in and s 2 = (vi 0 1 : : : vi 0 n ). Hence, we conclude that u 1 s 1 = u 1 u i1 : : : u in = v 1 v i1 : : : v in, which means that i 1 ; : : :; i n is a solution for the modied PCP f(u 1 ; v 1 )g [ P. 2 Together these two lemmata give the following undecidability result. 4 2
5 Corollary 3.3 Let Sp(P ) be the above nite special and conuent string-rewriting system on, and let R 1 ; : : :; R 4 be the above regular subsets of. Then the following problem is undecidable: INSTANCE: Two strings u 1 ; v 1 2 fa; bg +. QUESTION: Is the existential sentence 9x 1 ; x 2 ; x 3 ; x 4 : $x 1 x 3 $x 4 x 2 $x 4 x 3 $u 1 x 1 x 2 (v 0 1 )$ $5 true under the interpretation induced by the system Sp(P ) and the regular sets R 1 ; : : :; R 4? Thus, the problem of validity for nonlinear existential sentences is undecidable for the nite special and conuent string-rewriting system Sp(P ). Thus, the decidability result of [2] does not carry over to nonlinear sentences, even if attention is restricted to a xed nite, special, and conuent string-rewriting system. The validity problem for nonlinear existential sentences diers from the solvability problem for word equations modulo Sp(P ) in that, for each variable, a regular subset R is chosen as the domain for this variable. However, the subsets R 1 ; : : :; R 4 chosen above are of a very restricted form only. We now introduce another four new symbols, and we add some more rules to the system Sp(P ). Let := [ f; ; ; g, and let S denote the following string-rewriting system on : S := Sp(P ) [ fa! ; b! ; a 0! ; b 0! ; z i! ; zi 0! j i = 2; : : :; kg. Then S is a nite special system, and it is easily veried that S is conuent, since it does not have any nontrivial critical pairs. For u 1 ; v 1 2 fa; bg +, let w 1 (u 1 ; v 1 ) 2 ( [ fx 1 ; : : :; x 4 ; y 1 ; : : :; y 4 g) and w 2 2 ( [ fy 1 ; : : :; y 4 g) denote the following strings, where x 1 ; : : :; x 4 ; y 1 ; : : :; y 4 are variables: w 1 (u 1 ; v 1 ) := y 1 $y 2 $y 3 $y 4 $x 1 y 1 $y 2 x 2 $y 3 x 3 $x 4 y 4 $x 1 x 3 $x 4 x 2 $x 4 x 3 $u 1 x 1 x 2 (v 0 1 )$; w 2 := y 1 $y 2 $y 3 $y 4 $ 9 : Lemma 3.4 If there are strings s i 2 R i, i = 1; : : :; 4, such that $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1)$! Sp(P ) $5, then the equation w 1 (u 1 ; v 1 ) w 2 has a solution modulo S. Proof. Let s i 2 R i, i = 1; : : :; 4, be such that the above congruence holds. We dene a morphism : fx 1 ; : : :; x 4 ; y 1 ; : : :; y 4 g! as follows: (x i ) := s i ; i = 1; : : :; 4; (y 1 ) := js 1 j ; (y 2 ) := js 2 j ; (y 3 ) := js 3 j, and (y 4 ) := js 4 j : Then Further, (y 1 ) = js 1 j+1 = (y 1 ); (y 2 ) = js 2 j+1 = (y 2 ); (y 3 ) = js 3 j+1 = (y 3 ); (y 4 ) = js 4 j+1 = (y 4 ): (x 1 y 1 ) = s 1 js 1 j?! S ; (y 2 x 2 ) = js 2 j s 2?! S ; (y 3 x 3 ) = js 3 j s 3?! S ; (x 4 y 4 ) = s 4 js 4 j?! S ; 5
6 since s 1 2 fa; bg, s 2 2 fa 0 ; b 0 g, s 3 2 fz 2 ; : : :; z k g, and s 4 2 fz 0 2 ; : : :; z0 k g. Thus, we see that (w 1 (u 1 ; v 1 ))! S (w 2), that is, w 1 (u 1 ; v 1 ) w 2 has a solution modulo S. 2 Lemma 3.5 If : fx 1 ; : : :; x 4 ; y 1 ; : : :; y 4 g! is a solution of the equation w 1 (u 1 ; v 1 ) w 2 modulo S, then s i := (x i ) 2 R i, i = 1; : : :; 4, and $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1)$! Sp(P ) $5. Proof. Assume that : fx 1 ; : : :; x 4 ; y 1 ; : : :; y 4 g! is a solution of the equation w 1 (u 1 ; v 1 ) w 2 modulo S. Let s i := (x i ) and t i := (y i ), i = 1; : : :; 4. Since S is conuent, we can assume without loss of generality that these strings are irreducible mod S. Hence, (w 2 ) = t 1 $t 2 $t 3 $t 4 $ 9 is irreducible, implying that (w 1 (u 1 ; v 1 ))?! S (w 2). None of the rules of S contains an occurrence of the symbol $, and hence, j (w 2 ) j $ = 12 + P 4 i=1 j t i j $ = P 4 i=1 j t i j $ + 3 P 4 i=1 j s i j $ = j (w 1 (u 1 ; v 1 )) j $ implying that j s i j $ = j t i j $ = 0, i = 1; : : :; 4. Thus, (w 1 (u 1 ; v 1 ))?! S (w 2) implies the following: (1) t 1?! S t 1; t 2?! S t 2; t 3?! S t 3; t 4?! S t 4, (2) s 1 t 1?! S ; t 2s 2?! S ; t 3s 3?! S ; s 4t 4?! S ; and (3) $s 1 s 3 $s 4 s 2 $s 4 s 3 $u 1 s 1 s 2 (v 0 1)$?! S $5. Since S is length-reducing, and j t 1 j = j t 1 j, we conclude that t 1 = t 1, which in turn yields that t 1 = r 1 for some r 1 2 IN. Analogously, we obtain that t 2 = r 2, t 3 = r 3, and t 4 = r 4 for some r 2 ; r 3 ; r 4 2 IN. Since s 1 t 1 = s 1 r 1?! S, and since a! and b! are the only rules of S containing occurrences of the symbol, this means that s 1 2 fa; bg and r 1 = j s 1 j. Analogously, we see that s 2 2 fa 0 ; b 0 g and r 2 = j s 2 j, s 3 2 fz 2 ; : : :; z k g and r 3 = j s 3 j, and s 4 2 fz 0 2 ; : : :; z0 k and r g 4 = j s 4 j. Thus, s i 2 R i, i = 1; : : :; 4, and in the reduction (3) above only rules from the subsystem Sp(P ) of S are used. 2 The above lemmata imply that the modied PCP f(u 1 ; v 1 )g [ P has a solution if and only if the equation w 1 (u 1 ; v 1 ) w 2 has a solution modulo S. This completes the proof of Theorem Concluding Remark As dened above the solvabitily problem for word equations modulo a string-rewriting system R is in fact the word unication problem modulo the system R, that is, it corresponds to equational unication modulo the set of equations R plus associativity. If we interpret each symbol a 2 as a unary function symbol a(:), then the only terms containing variables are those of the form a i1 (a i2 ( (a im (x)) )), where a ij 2, j = 1; : : :; m. Thus, in this case the only equations that we obtain are of the form u(x) v(y), where u; v 2 and x and y are variables that are not necessarily distinct. However, if S is a nite special and conuent string-rewriting system on, then, given u; v 2, it is decidable whether or not there exists a morphism : fx; yg! such that (ux) = u(x)! S v(y) = (vy) holds. Thus, unication modulo the term-rewriting system S 0 := f`(x)! r(x) j (`! r) 2 Sg is decidable. 6
7 References [1] S.I. Adian (1966); Dening Relations and Algorithmic Problems for Groups and Semigroups; Proceedings Steklov Inst. of Math. 85 (Amer. Math. Soc., Providence, RI, 1967). [2] R.V. Book (1983); Decidable sentences of Church-Rosser congruences; Theoretical Computer Science 24, 301{312. [3] R.V. Book (1984); Homogeneous Thue systems and the Church-Rosser property; Discrete Mathematics 48, 137{145. [4] R.V. Book and F. Otto (1993); String-Rewriting Systems; Springer : New York. [5] J. Jaar (1990); Minimal and complete word unication; Journal Association Computing Machinery 37, 47{85. [6] G.S. Makanin (1977); The problem of solvability of equations in a free semigroup; Math. USSR Sbornik 32, 129{198. [7] G.S. Makanin (1983); Equations in a free group; Math. USSR Izvestija 21, 483{546. [8] G.S. Makanin and H. Abdulrab (1994); On general solution of word equations; in: Results and Trends in Theoretical Computer Science, Lecture Notes Computer Science 812 (Springer Berlin), 251{263. [9] P. Narendran and F. Otto (1990); Some results on equational unication; in: M.E. Stickel (ed.), 10th CADE, Proceedings, Lecture Notes Articial Intelligence 449 (Springer, Berlin), 276{291. [10] V. Oleshchuk (1994); Word equations over Thue systems, Talk presented at the Conference on Semigroups, Automata and Languages, Porto, Portugal, June 20-25,1994. [11] J.P. Pecuchet (1981); Equations avec Constantes et Algorithme de Makanin; These 3e Cycle (Universite de Rouen, France, Dec. 1981). [12] K.U. Schulz (1990); Makanin's algorithm for word equations - Two improvements and a generalization; in: K.U. Schulz (ed.), Word Equations and Related Topics, Proceedings, Lecture Notes Computer Science 572 (Springer, Berlin), 85{150. [13] K.U. Schulz (1993); Word unication and transformation of generalized equations; Journal Automated Reasoning 11, 149{184. [14] J. Siekmann (1990); An introduction to unication theory; in: R.B. Banerji (ed.), Formal Techniques in Articial Intelligence. A Sourcebook (North-Holland, Amsterdam), 369{
Klaus Madlener. Internet: Friedrich Otto. Fachbereich Mathematik/Informatik, Universitat Kassel.
Some Undecidability Results For Finitely Generated Thue Congruences On A Two-Letter Alphabet Klaus Madlener Fachbereich Informatik, Universitat Kaiserslautern D{67653 Kaiserslautern Internet: madlener@informatik.uni-kl.de
More informationFor the property of having nite derivation type this result has been strengthened considerably by Otto and Sattler-Klein by showing that this property
FP is undecidable for nitely presented monoids with word problems decidable in polynomial time Robert Cremanns and Friedrich Otto Fachbereich Mathematik/Informatik Universitat Kassel, 349 Kassel, Germany
More informationDecision Problems Concerning. Prime Words and Languages of the
Decision Problems Concerning Prime Words and Languages of the PCP Marjo Lipponen Turku Centre for Computer Science TUCS Technical Report No 27 June 1996 ISBN 951-650-783-2 ISSN 1239-1891 Abstract This
More information1 Introduction A general problem that arises in dierent areas of computer science is the following combination problem: given two structures or theori
Combining Unication- and Disunication Algorithms Tractable and Intractable Instances Klaus U. Schulz CIS, University of Munich Oettingenstr. 67 80538 Munchen, Germany e-mail: schulz@cis.uni-muenchen.de
More information2 THE COMPLEXITY OF TORSION-FREENESS On the other hand, the nite presentation of a group G also does not allow us to determine almost any conceivable
THE COMPUTATIONAL COMPLEXITY OF TORSION-FREENESS OF FINITELY PRESENTED GROUPS Steffen Lempp Department of Mathematics University of Wisconsin Madison, WI 53706{1388, USA Abstract. We determine the complexity
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationNote On Parikh slender context-free languages
Theoretical Computer Science 255 (2001) 667 677 www.elsevier.com/locate/tcs Note On Parikh slender context-free languages a; b; ; 1 Juha Honkala a Department of Mathematics, University of Turku, FIN-20014
More informationThe rest of the paper is organized as follows: in Section 2 we prove undecidability of the existential-universal ( 2 ) part of the theory of an AC ide
Undecidability of the 9 8 part of the theory of ground term algebra modulo an AC symbol Jerzy Marcinkowski jma@tcs.uni.wroc.pl Institute of Computer Science University of Wroc law, ul. Przesmyckiego 20
More informationA shrinking lemma for random forbidding context languages
Theoretical Computer Science 237 (2000) 149 158 www.elsevier.com/locate/tcs A shrinking lemma for random forbidding context languages Andries van der Walt a, Sigrid Ewert b; a Department of Mathematics,
More informationThe Accepting Power of Finite. Faculty of Mathematics, University of Bucharest. Str. Academiei 14, 70109, Bucharest, ROMANIA
The Accepting Power of Finite Automata Over Groups Victor Mitrana Faculty of Mathematics, University of Bucharest Str. Academiei 14, 70109, Bucharest, ROMANIA Ralf STIEBE Faculty of Computer Science, University
More informationAperiodic languages and generalizations
Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k
More informationHIERARCHIES OF WEAKLY MONOTONE RESTARTING AUTOMATA
HIERARCHIES OF WEAKLY MONOTONE RESTARTING AUTOMATA František Mráz 1 Department of Computer Science, Charles University Malostranské nám 25, 118 00 Praha 1, Czech Republic e-mail: mraz@ksvimsmffcunicz and
More informationWord Unication and Transformation of Generalized Equations Klaus U. Schulz CIS, University of Munich Leopoldstr. 139, D-8000 Munich 40 October 11, 199
Universitat Munchen Centrum fur Informations- und Sprachverarbeitung Word Unication and Transformation of Generalized Equations Klaus U. Schulz In: J. of Automated Reasoning, 11:149{184, 1993. Word Unication
More informationAbelian Algebras and the Hamiltonian Property. Abstract. In this paper we show that a nite algebra A is Hamiltonian if the
Abelian Algebras and the Hamiltonian Property Emil W. Kiss Matthew A. Valeriote y Abstract In this paper we show that a nite algebra A is Hamiltonian if the class HS(A A ) consists of Abelian algebras.
More information2 C. A. Gunter ackground asic Domain Theory. A poset is a set D together with a binary relation v which is reexive, transitive and anti-symmetric. A s
1 THE LARGEST FIRST-ORDER-AXIOMATIZALE CARTESIAN CLOSED CATEGORY OF DOMAINS 1 June 1986 Carl A. Gunter Cambridge University Computer Laboratory, Cambridge C2 3QG, England Introduction The inspiration for
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationThe Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
Information and Computation 197 (2005) 1 21 www.elsevier.com/locate/ic The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages Gundula Niemann a, FriedrichOtto
More informationBi-rewrite Systems. Universitat Politecnica de Catalunya. Consejo Superior de Investigaciones Cientcas. Abstract
Bi-rewrite Systems Jordi Levy z and Jaume Agust x z Departament de Llenguatges i Sistemes nformatics Universitat Politecnica de Catalunya x nstitut d'nvestigacio en ntelligencia Articial Consejo Superior
More informationUndecidability of ground reducibility. for word rewriting systems with variables. Gregory KUCHEROV andmichael RUSINOWITCH
Undecidability of ground reducibility for word rewriting systems with variables Gregory KUCHEROV andmichael RUSINOWITCH Key words: Theory of Computation Formal Languages Term Rewriting Systems Pattern
More informationWord Equations With Two Variables
Word Equations With Two Variables Witold Charatonik, Institute of Computer Science University of Wrocław Wrocław, Poland Leszek Pacholski Institute of Mathematics Polish Academy of Sciences Wrocław, Poland
More informationTHE WORD PROBLEM FOR FINITELY PRESENTED MONOIDS AND FINITE CANONICAL REWRITING SYSTEMS. Craig Squier
THE WORD PROBLEM FOR FINITELY PRESENTED MONOIDS AND FINITE CANONICAL REWRITING SYSTEMS Craig Squier Depurtment of Mathematics, State University of New York Binghamton, N.Y. 13901, U.S.A. Friedrich Otto
More informationThe Relation Between. Second-Order Unication and. Simultaneous Rigid E-Unication. Margus Veanes. MPI{I{98{2-005 February 1998
'$'$ I N F O R M A T I K The Relation Between Second-Order Unication and Simultaneous Rigid E-Unication Margus Veanes MPI{I{98{2-005 February 1998 FORSCHUNGSBERICHT RESEARCH REPORT M A X - P L A N C K
More information2 ALGEBRA II. Contents
ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.
More informationSemigroup, monoid and group models of groupoid identities. 1. Introduction
Quasigroups and Related Systems 16 (2008), 25 29 Semigroup, monoid and group models of groupoid identities Nick C. Fiala Abstract In this note, we characterize those groupoid identities that have a (nite)
More informationNote Watson Crick D0L systems with regular triggers
Theoretical Computer Science 259 (2001) 689 698 www.elsevier.com/locate/tcs Note Watson Crick D0L systems with regular triggers Juha Honkala a; ;1, Arto Salomaa b a Department of Mathematics, University
More informationComputability and Complexity
Computability and Complexity Decidability, Undecidability and Reducibility; Codes, Algorithms and Languages CAS 705 Ryszard Janicki Department of Computing and Software McMaster University Hamilton, Ontario,
More information1 Introduction We study classical rst-order logic with equality but without any other relation symbols. The letters ' and are reserved for quantier-fr
UPMAIL Technical Report No. 138 March 1997 (revised July 1997) ISSN 1100{0686 Some Undecidable Problems Related to the Herbrand Theorem Yuri Gurevich EECS Department University of Michigan Ann Arbor, MI
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 13: Algorithmic Unsolvability The Halting Problem I In the last lecture we have shown
More informationOne Quantier Will Do in Existential Monadic. Second-Order Logic over Pictures. Oliver Matz. Institut fur Informatik und Praktische Mathematik
One Quantier Will Do in Existential Monadic Second-Order Logic over Pictures Oliver Matz Institut fur Informatik und Praktische Mathematik Christian-Albrechts-Universitat Kiel, 24098 Kiel, Germany e-mail:
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 6 CHAPTER 2 FINITE AUTOMATA 2. Nondeterministic Finite Automata NFA 3. Finite Automata and Regular Expressions 4. Languages
More informationOn Rewrite Constraints and Context Unification
On Rewrite Constraints and Context Unification Joachim Niehren 1,2,3 Universität des Saarlandes, Postfach 15 11 50, D-66041 Saarbrücken, Germany Sophie Tison 1,2 LIFL, Unicersité Lille 1, F-59655 Villeneuve
More informationLanguages and monoids with disjunctive identity
Languages and monoids with disjunctive identity Lila Kari and Gabriel Thierrin Department of Mathematics, University of Western Ontario London, Ontario, N6A 5B7 Canada Abstract We show that the syntactic
More informationCERNY CONJECTURE FOR DFA ACCEPTING STAR-FREE LANGUAGES
CERNY CONJECTURE FOR DFA ACCEPTING STAR-FREE LANGUAGES A.N. Trahtman? Bar-Ilan University, Dep. of Math. and St., 52900, Ramat Gan, Israel ICALP, Workshop synchr. autom., Turku, Finland, 2004 Abstract.
More informationexample like a b, which is obviously not true. Using our method, examples like this will quickly halt and say there is no solution. A related deciency
Goal-Directed E-Unication Christopher Lynch and Barbara Morawska Department of Mathematics and Computer Science Box 5815, Clarkson University, Potsdam, NY 13699-5815, USA, E-mail: clynch@clarkson.edu,morawskb@clarkson.edu??
More informationInvertible insertion and deletion operations
Invertible insertion and deletion operations Lila Kari Academy of Finland and Department of Mathematics 1 University of Turku 20500 Turku Finland Abstract The paper investigates the way in which the property
More informationsignicant in view of the fact that in many applications existential queries are of main interest. It also plays an important role in the problem of nd
On the Relationship Between CWA, Minimal Model and Minimal Herbrand Model Semantics Michael Gelfond Halina Przymusinska Teodor Przymusinski March 3, 1995 Abstract The purpose of this paper is to compare
More informationThe Membership Problem for a, b : bab 2 = ab
Semigroup Forum OF1 OF8 c 2000 Springer-Verlag New York Inc. DOI: 10.1007/s002330010009 RESEARCH ARTICLE The Membership Problem for a, b : bab 2 = ab D. A. Jackson Communicated by Gerard J. Lallement Throughout,
More informationClaude Marche. Bat 490, Universite Paris-Sud. Abstract
The Word Problem of ACD-Ground theories is Undecidable Claude Marche Laboratoire de Recherche en Informatique (UA 410 CNRS) Bat 490, Universite Paris-Sud 91405 ORSAY CEDEX, FRANCE E-mail: marche@lri.lri.fr
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationAbstract This work is a survey on decidable and undecidable problems in matrix theory. The problems studied are simply formulated, however most of the
Decidable and Undecidable Problems in Matrix Theory Vesa Halava University of Turku, Department of Mathematics, FIN-24 Turku, Finland vehalava@utu. Supported by the Academy of Finland under the grant 447
More informationFall 1999 Formal Language Theory Dr. R. Boyer. 1. There are other methods of nding a regular expression equivalent to a nite automaton in
Fall 1999 Formal Language Theory Dr. R. Boyer Week Four: Regular Languages; Pumping Lemma 1. There are other methods of nding a regular expression equivalent to a nite automaton in addition to the ones
More informationAbout the relationship between formal logic and complexity classes
About the relationship between formal logic and complexity classes Working paper Comments welcome; my email: armandobcm@yahoo.com Armando B. Matos October 20, 2013 1 Introduction We analyze a particular
More informationWatson-Crick ω-automata. Elena Petre. Turku Centre for Computer Science. TUCS Technical Reports
Watson-Crick ω-automata Elena Petre Turku Centre for Computer Science TUCS Technical Reports No 475, December 2002 Watson-Crick ω-automata Elena Petre Department of Mathematics, University of Turku and
More informationPREDICATE LOGIC: UNDECIDABILITY AND INCOMPLETENESS HUTH AND RYAN 2.5, SUPPLEMENTARY NOTES 2
PREDICATE LOGIC: UNDECIDABILITY AND INCOMPLETENESS HUTH AND RYAN 2.5, SUPPLEMENTARY NOTES 2 Neil D. Jones DIKU 2005 14 September, 2005 Some slides today new, some based on logic 2004 (Nils Andersen) OUTLINE,
More informationNon-commutative reduction rings
Revista Colombiana de Matemáticas Volumen 33 (1999), páginas 27 49 Non-commutative reduction rings Klaus Madlener Birgit Reinert 1 Universität Kaiserslautern, Germany Abstract. Reduction relations are
More informationAxiomatizing the monodic fragment of rst-order temporal logic
Annals of Pure and Applied Logic 118 (2002) 133 145 www.elsevier.com/locate/apal Axiomatizing the monodic fragment of rst-order temporal logic Frank Wolter a;, Michael Zakharyaschev b a Institut fur Informatik,
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationSuperposition with Completely Built-in. Abelian Groups. Jordi Girona 1, Barcelona, Spain.
Article Submitted to Journal of Symbolic Computation Superposition with Completely Built-in Abelian Groups Guillem Godoy 1 and Robert Nieuwenhuis 1 1 Dept. LSI, Technical University of Catalonia, Jordi
More informationChapter 0 Introduction. Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin
Chapter 0 Introduction Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin October 2014 Automata Theory 2 of 22 Automata theory deals
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationECS 120: Automata Theory and Formal Languages. UC Davis Phillip Rogaway December 13, ECS 120 Final { Fall 1995
ECS 120: Automata Theory and Formal Languages Handout Z UC Davis Phillip Rogaway December 13, 1995 ECS 120 Final { Fall 1995 Instructions: Check that your exam has all 7 problems (pages 2{9). You'll also
More informationFixed points of endomorphisms over special conuent rewriti
Fixed points of endomorphisms over special conuent rewriting systems University of Porto (Centre of Mathematics, Faculty of Sciences) Vienna, 25th November 2010 A tale of two theorems Theorem FIN Let G
More informationCS 7220 Computational Complexity and Algorithm Analysis
CS 7220 Computational Complexity and Algorithm Analysis Spring 2016 Section 7: Computability Part IV Undecidability Pascal Hitzler Data Semantics Laboratory Wright State University, Dayton, OH http://www.pascal-hitzler.de
More informationTECHNISCHE UNIVERSITÄT DRESDEN. Fakultät Informatik. Technische Berichte Technical Reports. Daniel Kirsten. TUD / FI 98 / 07 - Mai 1998
TECHNISCHE UNIVERSITÄT DRESDEN Fakultät Informatik TUD / FI 98 / 07 - Mai 998 Technische Berichte Technical Reports ISSN 430-X Daniel Kirsten Grundlagen der Programmierung Institut für Softwaretechnik
More informationdistinct models, still insists on a function always returning a particular value, given a particular list of arguments. In the case of nondeterministi
On Specialization of Derivations in Axiomatic Equality Theories A. Pliuskevicien_e, R. Pliuskevicius Institute of Mathematics and Informatics Akademijos 4, Vilnius 2600, LITHUANIA email: logica@sedcs.mii2.lt
More informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationDecidability of Existence and Construction of a Complement of a given function
Decidability of Existence and Construction of a Complement of a given function Ka.Shrinivaasan, Chennai Mathematical Institute (CMI) (shrinivas@cmi.ac.in) April 28, 2011 Abstract This article denes a complement
More informationGarrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More informationPower and size of extended Watson Crick L systems
Theoretical Computer Science 290 (2003) 1665 1678 www.elsevier.com/locate/tcs Power size of extended Watson Crick L systems Judit Csima a, Erzsebet Csuhaj-Varju b; ;1, Arto Salomaa c a Department of Computer
More informationComputability and Complexity
Computability and Complexity Push-Down Automata CAS 705 Ryszard Janicki Department of Computing and Software McMaster University Hamilton, Ontario, Canada janicki@mcmaster.ca Ryszard Janicki Computability
More informationImplementing -Reduction by. Hypergraph Rewriting. Sabine Kuske 1. Fachbereich Mathematik und Informatik. Universitat Bremen. D{28334 Bremen, Germany
URL: http://www.elsevier.nl/locate/entcs/volume2.html 8 pages Implementing -Reduction by Hypergraph Rewriting abine Fachbereich Mathematik und Informatik Universitat Bremen D{28334 Bremen, Germany email:
More informationAsynchronous cellular automata for pomsets. 2, place Jussieu. F Paris Cedex 05. Abstract
Asynchronous cellular automata for pomsets without auto-concurrency Manfred Droste Institut fur Algebra Technische Universitat Dresden D-01062 Dresden droste@math.tu-dresden.de Paul Gastin LITP, IBP Universite
More informationMath 375 First Exam, Page a) Give an example of a non-abelian group of innite order and one of nite order. (Say which is
Math 375 First Exam, Page 1 1. a) Give an example of a non-abelian group of innite order and one of nite order. (Say which is which.) b) Find the order of each element inu(5), the group of units mod 5.
More informationDecidability and Undecidability of Marked PCP Vesa Halava 1, Mika Hirvensalo 2;1?, and Ronald de Wolf 3;4 1 Turku Centre for Computer Science, Lemmink
Decidability and Undecidability of Marked PCP Vesa Halava 1, Mika Hirvensalo 2;1?, and Ronald de Wolf 3;4 1 Turku Centre for Computer Science, Lemminkaisenkatu 14 A, 4th oor, FIN-20520, Turku, Finland,
More informationIn this paper, we take a new approach to explaining Shostak's algorithm. We rst present a subset of the original algorithm, in particular, the subset
A Generalization of Shostak's Method for Combining Decision Procedures Clark W. Barrett, David L. Dill, and Aaron Stump Stanford University, Stanford, CA 94305, USA, http://verify.stanford.edu c Springer-Verlag
More informationDecision issues on functions realized by finite automata. May 7, 1999
Decision issues on functions realized by finite automata May 7, 1999 Christian Choffrut, 1 Hratchia Pelibossian 2 and Pierre Simonnet 3 1 Introduction Let D be some nite alphabet of symbols, (a set of
More information2 I like to call M the overlapping shue algebra in analogy with the well known shue algebra which is obtained as follows. Let U = ZhU ; U 2 ; : : :i b
The Leibniz-Hopf Algebra and Lyndon Words Michiel Hazewinkel CWI P.O. Box 94079, 090 GB Amsterdam, The Netherlands e-mail: mich@cwi.nl Abstract Let Z denote the free associative algebra ZhZ ; Z2; : : :i
More information3130CIT Theory of Computation
GRIFFITH UNIVERSITY School of Computing and Information Technology 3130CIT Theory of Computation Final Examination, Semester 2, 2006 Details Total marks: 120 (40% of the total marks for this subject) Perusal:
More informationHerbrand Theorem, Equality, and Compactness
CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Herbrand Theorem, Equality, and Compactness The Herbrand Theorem We now consider a complete method for proving the unsatisfiability of sets of first-order
More informationTheory of Computation
Theory of Computation Dr. Sarmad Abbasi Dr. Sarmad Abbasi () Theory of Computation / Lecture 3: Overview Decidability of Logical Theories Presburger arithmetic Decidability of Presburger Arithmetic Dr.
More informationFundamenta Informaticae 30 (1997) 23{41 1. Petri Nets, Commutative Context-Free Grammars,
Fundamenta Informaticae 30 (1997) 23{41 1 IOS Press Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes Javier Esparza Institut fur Informatik Technische Universitat Munchen Munchen,
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
More informationSimple Lie subalgebras of locally nite associative algebras
Simple Lie subalgebras of locally nite associative algebras Y.A. Bahturin Department of Mathematics and Statistics Memorial University of Newfoundland St. John's, NL, A1C5S7, Canada A.A. Baranov Department
More informationMathematical Logic (IX)
Mathematical Logic (IX) Yijia Chen 1. The Löwenheim-Skolem Theorem and the Compactness Theorem Using the term-interpretation, it is routine to verify: Theorem 1.1 (Löwenheim-Skolem). Let Φ L S be at most
More informationTHE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω CAROL JACOBY AND PETER LOTH ABSTRACT. We consider the
More informationLearning via Queries and Oracles. Frank Stephan. Universitat Karlsruhe
Learning via Queries and Oracles Frank Stephan Universitat Karlsruhe Abstract Inductive inference considers two types of queries: Queries to a teacher about the function to be learned and queries to a
More informationPrimitive recursive functions: decidability problems
Primitive recursive functions: decidability problems Armando B. Matos October 24, 2014 Abstract Although every primitive recursive (PR) function is total, many problems related to PR functions are undecidable.
More informationDecidability of Sub-theories of Polynomials over a Finite Field
Decidability of Sub-theories of Polynomials over a Finite Field Alla Sirokofskich Hausdorff Research Institute for Mathematics Poppelsdorfer Allee 45, D-53115, Bonn, Germany Department of Mathematics University
More informationHierarchical Combination of Unification Algorithms (Extended Abstract)
of Unification Algorithms (Extended Abstract) Serdar Erbatur 5, Deepak Kapur 1, Andrew M Marshall 2, Paliath Narendran 3 and Christophe Ringeissen 4 1 University of New Mexico (USA) 2 Naval Research Laboratory
More informationBjorn Poonen. Cantrell Lecture 3 University of Georgia March 28, 2008
University of California at Berkeley Cantrell Lecture 3 University of Georgia March 28, 2008 Word Isomorphism Can you tile the entire plane with copies of the following? Rules: Tiles may not be rotated
More informationRegular Path Expressions in Feature Logic y ROLF BACKOFEN. We examine the existential fragment of a feature logic, which is extended by regular path
J. Symbolic Computation (1994) 17, 421{455 Regular Path Expressions in Feature Logic y ROLF BACKOFEN DFKI, Stuhlsatzenhausweg 3, W6600 Saarbrucken, Germany (Received 30 May 1994) We examine the existential
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationLinear Algebra. Linear Algebra. Chih-Wei Yi. Dept. of Computer Science National Chiao Tung University. November 12, 2008
Linear Algebra Chih-Wei Yi Dept. of Computer Science National Chiao Tung University November, 008 Section De nition and Examples Section De nition and Examples Section De nition and Examples De nition
More informationLecture #14: NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition.
Lecture #14: 0.0.1 NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition. 0.0.2 Preliminaries: Definition 1 n abstract problem Q is a binary relations on a set I of
More informationgroup Jean-Eric Pin and Christophe Reutenauer
A conjecture on the Hall topology for the free group Jean-Eric Pin and Christophe Reutenauer Abstract The Hall topology for the free group is the coarsest topology such that every group morphism from the
More informationAbstract. In this paper we study clausal specications over built-in algebras. To keep things simple, we consider built-in algebras only that
Partial Functions in Clausal Specications? J. Avenhaus, K. Madlener Universitat Kaiserslautern e-mail: favenhaus, madlener g@informatik.uni-kl.de Abstract. In this paper we study clausal specications over
More informationCOARSENINGS, INJECTIVES AND HOM FUNCTORS
COARSENINGS, INJECTIVES AND HOM FUNCTORS FRED ROHRER It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded
More information6.8 The Post Correspondence Problem
6.8. THE POST CORRESPONDENCE PROBLEM 423 6.8 The Post Correspondence Problem The Post correspondence problem (due to Emil Post) is another undecidable problem that turns out to be a very helpful tool for
More informationOn PCGS and FRR-automata
On PCGS and FRR-automata Dana Pardubská 1, Martin Plátek 2, and Friedrich Otto 3 1 Dept. of Computer Science, Comenius University, Bratislava pardubska@dcs.fmph.uniba.sk 2 Dept. of Computer Science, Charles
More informationTESTING FOR A SEMILATTICE TERM
TESTING FOR A SEMILATTICE TERM RALPH FREESE, J.B. NATION, AND MATT VALERIOTE Abstract. This paper investigates the computational complexity of deciding if a given finite algebra is an expansion of a semilattice.
More informationThe Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable 1
Information and Computation 178, 412 421 (2002) doi:10.1006/inco.2002.3145 The Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable 1 Jerzy Marcinkowski 2 Institute of Computer
More informationExpressive number restrictions in Description Logics
Expressive number restrictions in Description Logics Franz Baader and Ulrike Sattler August 12, 1999 Abstract Number restrictions are concept constructors that are available in almost all implemented Description
More informationBehavioural theories and the proof of. LIENS, C.N.R.S. U.R.A & Ecole Normale Superieure, 45 Rue d'ulm, F{75230 Paris Cedex 05, France
Behavioural theories and the proof of behavioural properties Michel Bidoit a and Rolf Hennicker b b a LIENS, C.N.R.S. U.R.A. 1327 & Ecole Normale Superieure, 45 Rue d'ulm, F{75230 Paris Cedex 05, France
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationDefinability in the Enumeration Degrees
Definability in the Enumeration Degrees Theodore A. Slaman W. Hugh Woodin Abstract We prove that every countable relation on the enumeration degrees, E, is uniformly definable from parameters in E. Consequently,
More information