This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
_ 1, consider the following k + 1 words in E*: ab~+l,a2bk,... ,ak+lb. Since, for any two words x,y of the previous k + 1, there is no word z 9 E* such that x
1, is it decidable whether or not an arbitrary context-free language is k-confluent w.r.t.
456 2. Is it decidable whether or not an arbitrary context-free language is confluent w.r.t. _< in generalized sense, that is, is there some k > 1 such that the given language is k-confluent w.r.t. _ We prove in the next sections that both problems are decidable for the prefix partial order _
_ 1, a language L C_ E* is
k-confluent w.r.t. -< fraud only fr ~< L is k-confluent w.r.t. -<. L e m m a 3.3. Let k >_ 1 and L C E* an infinite language such that L =J.
1 and L C_ E*, such that L is infinite and L =1% L. Suppose first that L is k-confluent w.r.t.
0. On the other hand, if L; is finite, then l=(L~) < 1, for any n > 0. Indeed, if u,v 9 L~ such that lu] = [vl, then, as L~ is k-confluent w.r.t. _
0, and (i) is proved. The following claim will be useful for the proof of (ii).
458 C l a i m 1. ~
0}, i----1 0} C_ Rj, since Rj E ~pT~I. It is also clear that
ir
C l a i m 2. If, for some 1 < i < m, vixi r )~, then
for some z~l,z~2 E Z*,z~2 ~ ),.
Proof of Claim 2. Because vixi ~ ~, it follows that the set {uiv~wix~yi I n >_ 0} is infinite. As, by Claim 1~ there is no infinite antichain of _~p in ~_
for any n _> 1. Thus, for any n,p > 1,
Suppose that vi ~ ~ and x~ ~ ,~. Then, as the length of v~"+~-~" tends to infinity with p, for a large enough i~, x~" and v~"+p-i~ will overlap each other on a part longer than ]x~I + Iv~l. By Fine and Will's theorem, it follows that x~ and v~ are powers of conjugates of the same word. Thus, there are z ~, z" ~ E* such that xi -(z'z") ~, vl -= (z"z') *~, for some ra ). 0, r~ > 0. Then wi = (z"z')r~z ", for some
459 r3 > 0 and y~ = (z'z")~4t ', for some r4 > 0 and t' E E*,t'
{~v~y~
Let us put
In >_ 0} = {u,(z"z')=~=(z"z')~az"(z'z")=~(z'z")~4t' l n > O} {~,~"(z'z")~+~.+~(~+~)t' l ~ > o} {~iz"(t't")'~+T'+~(~+~=)t' l n > 0} { z . z ~ In > o},
for
zil = uiz"t'(t"t') ~3+~, zi~ = (t"t') ~+~. Notice that zi2 # ~. The cases vi # ,k, xi = /k and v~ = )~, xi # )~ are treated similarly. The claim is proved. C l a i m 3. m _ k. Proof of Claim 3. By Lemma 3.3, ~
L = URn. i=l
So far, we proved that J.% L is finite union of m sets of prefixes of some words which are either finite or infinite and ultimately periodic. Since we have supposed that none of the words in the second representation is redundant, it follows that
card{i l R{ is infinite} > card{i l z{2 ~ A}. Indeed, if .1% {z~lz~ I n > 0} N Rj is infinite, then l
card{i l R, is finite} > card{i I zi2 = ;k}. Therefore m < k and the claim is proved. By Claim 2 and Claim 3, one implication in the statement is proved. The converse implication is clear since L and ~
L = Pref(ab ~) U Pref(a2b ~) U {b}, where b~ is the infinite word bbb..., is 2-slender but it is not 2-confiuent w.r.t.
Proof. Take k > 1 and an arbitrary context-free language L C E*. We give the following algorithm to decide whether or not L is k-confluent w.r.t.
460 A l g o r i t h m 3.8. 1. Decide whether or not L is finite [possible for context-free languages]. If yes, then decide directly whether or not L is k-confluent w.r.t. _
~<_pL = U ~<<-~{uiv~ In >_ 0}, i=1
for some k ~ l and ui, vi E E*, l "( i < k. Proof. Take L C E* a context-free language which is confluent w.r.t.
C o r o l l a r y 3.10. If L C E* is a context-free language which is confluent w.r.t. in generalized sense, then L is regular. We can give now the decidability result.
T h e o r e m 3.11. It is decidable whether or not an arbitrary context-free language is confluent w.r.t. ~_p in generalized sense.
Proof. Let L C E* be a an arbitrary context-free language. The algorithm to decide whether or not L is confluent w.r.t.
461 2. Construct J.% L [this is effectively constructable for L context-free]. 3. Decide whether or not ~
4. F a c t o r s o f W o r d s We deal in this section with the factor partial order <S and prove that the kconfluence problem w.r.t. < ] and the generalized confluence problem w.r.t. <s are undecidable for context-free languages. We prove first a general undecidability result concerning the decidability of the k-confluence problem w.r.t. <S. L e m m a 4.1. Let k >_ 1 and s be a family of languages effectively closed under union, catenation with letters, and )~-free catenation closure such that the inclusion problem is undecidable in f_.. Then also the k-confluence problem is undecidable in f~.
Proof. We argue by contradiction. Suppose that the k-confluence problem w.r.t. < f is decidable in L:. Claim 1. The emptiness problem is decidable in g. Proof of Claim 1. Take an arbitrary language L C L:,L C E*, and construct the language k L1 :
U #L#i, {=0
where # , #0, # 1 , . . . , #} ~ E are new letters. It follows by hypothesis that L1 @ and we claim that L is empty if and only if L~ is k-confluent w.r.t.
L1 = U R / , i=1
for some R / C Z*, Ri confluent w.r.t. -
462 for some 0 < il, i2 <_ k, il # i2, then, as Ri is confluent w.r.t.
i - # L i # 0 U U ( # L 2 # 0 # ~ ) +, i=1
where # , #o, # 1 , . . . , #k ~ E are new letters. Then, by hypothesis, L C s Claim 2. L is k-confluent w.r.t. < f if and only if either L1 _ L2 or i _< card(L1) < k and L2 = 0. Proof of Claim 2. Suppose first that L1 C L2. Then k
~._<, L
k
=~_<j ( # L l # o ) U U 1_
+
i~l
since ~<~ ( # L l # 0 ) C_$<j (#L2#o#~) _C~<s (#L2#o#~) +, for any 1 < i < k. As, clearly, ( # L 2 # 0 # i ) + is confluent w.r.t.
L = i=1
As {#wi#0} is confluent w.r.t. - k + 1, then take z~,z2,...,zk+~ C Li,zi ~ zj, for any i ~ j. We have that {#z~#o, # z 2 # o , . . . #z~+z#o} C L and again a contradiction with the k-confluence w.r.t. - 1. The claim is proved.
463 C l a i m 3. The inclusion problem is decidable in/:. Proof of Claim 3. Take two arbitrary language L1, L2 E /: and construct the language L as above. We give the following algorithm to decide whether or not L1 C_ L2 and prove the claim. A l g o r i t h m 4.2. 1. Decide whether or not L2 = $ [the emptiness problem is decidable in/: by Claim 1]. If yes, then go to step 2, else go to step 3. 2. Decide whether or not L1 -- ~ [possible by Claim 1]. If yes, then answer yes [obviously correct], else answer no [again correct]. 3. Decide whether or not L is k-confluent w.r.t. _
.L<,._L1 =-1-
464 Conversely, suppose that L1 is k-confluent w.r.t. <1, for some k > 1, but L C ~* and take w E 2*\L. Put also k
L1 = U R~, i=l
for some Ri C ~*, Ri confluent w.r.t.
_c
i
{=0
and we can find an i,1 < i < k, and il # i2,0 <_ il,i2 < k, such that ~w#1#~1~1, ~ w # 1 ~ 2 # 1 E Ru As R~ is confluent w.r.t.
3
for some x
S * , j > 0.
#w~1#~1 _ #x~1~2#1,~ we obtain w = x and il = j. But, since il ~ z2, # w ~ # ~ 2 ~ ~ f z, a contradiction. It follows that L = ~,*. As k above has been chosen arbitrarily, the claim is proved. Hence, to decide whether or not L = E*, we can decide whether or not L1 is confluent w.r.t. < f in generalized sense, which is possible by our assumption, since L1 is effectively in ~:. But this contradicts the hypothesis. Therefore the generalized confluence problem w.r.t. -
Author Index
Abrahamson, K ................... 247 Amin, M ......................... 217 A s v e l d , P. R. J . . . . . . . . . . . . . . . . . . . . 49 B~l~nescu, T ..................... 150 B e e k , M. H. t e r . . . . . . . . . . . . . . . . . . 197 Bordihn, H ......................... 1 Bottoni, P ......................... 71 Bruda, ~ ......................... 256 Cai, L . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247 Cs V. E . . . . . . . . . . . . . . . . . . 422 C h a k a r a v a r t h y , V. T . . . . . . . . . . . . . . 346 Chi~u, A . . . . . . . . . . . . . . . . . . . . . . . . . 278 Csuhaj-Varjd, E .................. 299 Dumitrescu, S.................... 167 Fernau, H ...................... 10, 95 Ferretti, C ........................ 319 Freund, R ......................... 95 Georgescu, G ..................... 330 Georgescu, H ..................... 150 Gheorghe, M ..................... 150 Gordon, S ........................ 247 Holzer, M . . . . . . . . . . . . . . . . . . . . . 10, 440 Hromkovie, J ..................... 366 Ilie, L . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454 Jan~ar, P ......................... 119 J i m 6 n e z - L 6 p e z , M. D . . . . . . . . . . . . . 288 Karhumgki, J ..................... 366
Kelemen, J ....................... 220 Krithivasan, K ................... 346 Kudlek, M ........................ 430 Kuich, W ......................... 412 Lange, K . - J . . . . . . . . . . . . . . . . . . . . . . 440 Martln-Vide, C ................... 288 Mateescu, A ................. 395, 430 M a t e e s c n , G. D . . . . . . . . . . . . . . . . . . . 395 Mauri, G ..................... 71, 319 Meduna, A ........................ 27 Mihalache, V ..................... 137 Mitrana, V ................... 39, 137 Mrgz, F . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Mussio, P . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Pls M ........................ 119 Popescu, D ....................... 267 Rama, R ......................... 346 Rozenberg, G ..................... 395 Salomaa, A .................. 299, 395 Sos~k, P . . . . . . . . . . . . . . . . . . . . . . . . . . 236 Staiger, L . . . . . . . . . . . . . . . . . . . . . . . . 377 S t i e b e , 1~. . . . . . . . . . . . . . . . . . . . . . . . . . 39 ~t~,bnar, L . . . . . . . . . . . . . . . . . . . . . . . 236 Vogel, J . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Wgtjen, D ........................ 178 Zandron, C ....................... 319
Lecture Notes in Computer Science For information about Vols. 1-1141 please contact your bookseller or Springer-Verlag
Vol. 1142: R.W. Hartenstein, M. Glesner (Eds.), FieldProgrammable Logic. Proceedings, 1996. X, 432 pages. 1996.
Vol. 1161: O. Spaniol, C. Linnhoff-Popien, B. Meyer (Eds.), Trends in Distributed Systems. Proceedings, 1996. VIII, 289 pages. 1996.
Vol. 1143: T.C. Fogarty (Ed.), Evolutionary Computing. Proceedings, 1996. VIII, 305 pages. 1996.
Vol. 1162: D.G. Feitelson, L. Rudolph (Eds.), Job Scheduling Strategies for Parallel Processing. Proceedings, 1996. VII1, 291 pages. 1996.
Vol. 1144: J. Ponce, A. Zisserman, M. Hebert (Eds.), Object Representation in Computer Vision. Proceedings, 1996. VIII, 403 pages. 1996. Vol. 1145: R. Cousot, D.A. Schmidt (Eds.), Static Analysis. Proceedings, 1996. IX, 389 pages. 1996. Vol. 1146: E. Bertino, H. Kurth, G. Martella, E. Montolivo (Eds.), Computer Security - ESORICS 96. Proceedings, 1996. X, 365 pages. 1996. Vol. 1147: L. Miclet, C. de la Higuera (Eds.), Grammatical Inference: Learning Syntax from Sentences. Proceedings, 1996. VIII, 327 pages. 1996. (Subseries LNAI). Vol. i 148: M.C. Lin, D. Manocba (Eds.), Applied Computational Geometry. Proceedings, 1996. VIII, 223 pages. 1996. Vol. 1149: C. Montangero (Ed.), Software Process Technology. Proceedings, 1996. IX, 291 pages. 1996. Vol. 1150: A. Hlawiczka, J.G. Silva, L. Simoncini (Eds.), Dependable Computing - EDCC-2. Proceedings, 1996. XVI, 440 pages. 1996. Vol. 1151 : t3. Babao~lu, K. Marzullo (Eds.), Distributed Algorithms. Proceedings, 1996. VIII, 381 pages. 1996.
Vol. 1163: K. Kim, T. Matsumoto (Eds.), Advances in Cryptology - ASIACRYPT '96. Proceedings, 1996. XII, 395 pages. 1996. Vol. 1164: K. Berquist, A. Berquist (Eds.), Managing Information Highways. XIV, 417 pages. 1996. Vol. 1165: J.-R. Abrial, E, BSrger, H. Langmaack (Eds.), Formal Methods for Industrial Applications. VIII, 511 pages. 1996. Vol. 1166: M. Srivas, A. Camilleri (Eds.), Formal Methods in Computer-Aided Design. Proceedings, 1996. IX, 470 pages. I996. Vol. 1167: 1. Sommerville (Ed.), Software Configuration Management. VII, 291 pages. 1996. Vol. 1168:1. Smith, B. Faltings (Eds.), Advances in CaseBased Reasoning. Proceedings, 1996. IX, 531 pages. 1996. (Subseries LNAI). Vol. 1169: M. Broy, S. Merz, K. Spies (Eds.), Formal Systems Specification. XXIII, 541 pages. 1996. VoL 1170: M- Nagl (Ed.), Building Tightly Integrated Software Development Environments: The IPSEN Approach. IX, 709 pages. 1996.
Vol. 1152: T. Furuhashi, Y. Uchikawa (Eds.), Fuzzy Logic, Neural Networks, and Evolutionary Computation. Proceedings, 1995. VIII, 243 pages. 1996. (Subseries LNAI).
Vol. 1171: A. Franz, Automatic Ambiguity Resolution in Natural Language Processing. XIX, 155 pages. I996. (Subseries LNAI).
Vol. 1153: E. Burke, P. Ross (Eds.), Practice and Theory of Automated Timetabling. Proceedings, 1995. XIII, 381 pages. 1996.
Vol. 1172: J. Pieprzyk, J. Seberry (Eds.), Information Security and Privacy. Proceedings, 1996. IX, 333 pages, 1996.
Vol. 1154: D. Pedrescbi, C. Zaniolo (Eds.), Logic in Databases. Proceedings, 1996. X, 497 pages. 1996.
Vol. 1173: W. Rucklidge, Efficient Visual Recognition Using the Hausdorff Distance. XIII, 178 pages. 1996.
Vol. 1155: J. Roberts, U. Mocci, J. Virtamo (Eds.), Broadbank Network Teletraffic. XXII, 584 pages. 1996.
Vol. 1174: R. Anderson (Ed.), Information Hiding. Proceedings, 1996. VIII, 351 pages. 1996.
Vol. 1156: A. Bode, J. Dongarra, T. Ludwig, V. Sunderam (Eds.), Parallel Virtual Machine - EuroPVM '96. Proceedings, 1996. XIV, 362 pages. 1996.
Vol. 1175: K.G. Jeffery, J. Kr~il, M. Bart~gek (Eds.), SOFSEM'96: Theory and Practice of Informatics. Proceedings. 1996. XII, 491 pages. 1996.
Vol. 1157: B. Thalheim (Ed.), Conceptual Modeling - E R '96. Proceedings, 1996. Xll, 489 pages. 1996.
Voi. 1176: S. Miguet, A. Montanvert, S. Ub6da (Eds.), Discrete Geometry for Computer Imagery. Proceedings, 1996. XI, 349 pages. 1996.
Vol. 1158: S. Berardi, M. Coppo (Eds.), Types for Proofs and Programs. Proceedings, 1995. X, 296 pages. 1996. Vol. 1159: D.L. Borges, C.A.A. Kaestner (Eds.), Advances in Artificial Intelligence. Proceedings, 1996. XI, 243 pages. (Subseries LNAI). Vol. 1160: S. Arikawa, A.K. Sharma (Eds.), Algorithmic Learning Theory. Proceedings, 1996. XVII, 337 pages. 1996. (Subseries LNAI).
Vol. 1177: J.P. Miiller, The Design of Intelligent Agents. XV, 227 pages. 1996. (Subseries LNAI). Vol. 1178: T. Asano, Y. Igarashi, H. Nagamoehi, S. Miyano, S. Suri (Eds.), Algorithms and Computation. Proceedings, 1996. X, 448 pages. 1996. Vol. 1179: J. Jaffar, R.H.C. Yap (Eds.), Concurrency and Parallelism, Programming, Networking, and Security. Proceedings, 1996. XIII, 394 pages. 1996.
Vol. 1180: V. Chandru, V. Vinay (Eds.), Foundations of Software Technology and Theoretical Computer Science. Proceedings, 1996. XI, 387 pages. 1996. Vol. 1181: D. Bjerner, M. Broy, I.V. Pottosin (Eds.), Perspectives of System Informatics. Proceedings, 1996. XVII, 447 pages. 1996. Vol. 1182: W. Hasan, Optimization of SQL Queries for Parallel Machines. XVIII, 133 pages. 1996. Vol. 1183: A. Wierse, G.G. Grinstein, U. Lang (Eds.), Database Issues for Data Visualization. Proceedings, 1995. XIV, 219 pages. 1996. Vol. 1184: J. W~niewski, J. Dongarra, K. Madsen, D. Olesen (Eds.), Applied Parallel Computing. Proceedings, 1996. XIII, 722 pages. 1996. Vol. 1185: G. Ventre, J. Domingo-Pascual, A. Danthine (Eds.), Multimedia Telecommunications and Applications. Proceedings, 1996. XII, 267 pages. 1996. Vol. 1186: F. Afrati, P. Kolaitis (Eds.), Database Theory - ICDT'97. Proceedings, 1997. XIII, 477 pages. 1997. Vol. 1187: K. Schlechta, Nonmonotonic Logics. IX, 243 pages. 1997. (Subseries LNAI). Vol. ! 188: T. Martin, A.L. Raleseu (Eds.), Fuzzy Logic in Artificial Intelligence. Proceedings, 1995. VIII, 272 pages. 1997. (Subseries LNAI). Vol. 1189: M. Lomas (Ed.), Security Protocols. Proceedings, 1996. VIII, 203 pages. 1997. Vol. 1190: S. North (Ed.), Graph Drawing. Proceedings, 1996. XI, 409 pages. 1997. Vol. 1191: V. Gaede, A. Brodsky, O. Giinther, D. Srivastava, V. Vianu, M. Wallace (Eds.), Constraint Databases and Applications. Proceedings, 1996. X, 345 pages. 1996. Vol. 1192: M. Dam (Ed.), Analysis and Verification of Multiple-Agent Languages. Proceedings, 1996. VIII, 435 pages. 1997. Vol. 1193: J.P. Miiller, M.J. Wooidridge, N.R. Jennings (Eds.), Intelligent Agents III. XV, 401 pages. 1997. (Subseries LNAI). Vol. 1194: M. Sipper, Evolution of Parallel Cellular Machines. XIII, 199 pages. 1997. Vol. 1195: R. Trappl, P. Petta (Eds.), Creating Personalities for Synthetic Actors. VII, 251 pages. 1997. (Subseries LNAI). Vol. 1196: L. Vulkov, J. W~niewski, P. Yalamov (Eds.), Numerical Analysis and Its Applications. Proceedings, I996. XIII, 608 pages. 1997. Vol. 1197: F. d'Amore, P.G. Franciosa, A. MarchettiSpaccamela (Eds.), Graph-Theoretic Concepts in Computer Science. Proceedings, 1996. XI, 410 pages. 1997. Vol. 1198: H.S. Nwana, N. Azarmi (Eds.), Software Agents and Soft Computing: Towards Enhancing Machine Intelligence. XIV, 298 pages. 1997. (Subserics LNAI). Vol. 1199: D.K. Panda, C.B. Stunkel (Eds.), Communication and Architectural Support for NetworkBased Parallel Computing. Proceedings, 1997. X, 269 pages. 1997. Vol. 1200: R. Reischuk, M. Morvan (Eds.), STACS 97. Proceedings, 1997. XIII, 614 pages. 1997.
Vol. 1201: O. Maler (Ed.), Hybrid and Real-Time Systems. Proceedings, 1997. IX, 417 pages. 1997. Vol. 1202: P. Kandzia, M. Kluseh (Eds.), Cooperative Information Agents. Proceedings, 1997. IX, 287 pages. 1997. (Subseries LNAI). Vol. 1203: G. Bongiovanni, D.P. Bovet, G. Di Battista (Eds.), Algorithms and Complexity. Proceedings, 1997. VIII, 311 pages. 1997. Vol. 1204: H. M6ssenbiick (Ed.), Modular Programming Languages. Proceedings, 1997. X, 379 pages. 1997. Vol. 1205: J. Troccaz, E. Grimson, R. MOsges (Eds.), CVRMed-MRCAS'97. Proceedings, 1997. X/X, 834 pages. 1997. Vol. 1206: J. Bigtin, G. Chollet, G. Borgefors (Eds.), Audio- and Video-based Biometric Person Authentication. Proceedings, 1997. XII, 450 pages. 1997. Vol. 1207: J. Gallagher (Ed.), Logic Program Synthesis and Transformation. Proceedings, 1996. VII, 325 pages. 1997. Vol. 1208: S. Ben-David (Ed.), Computational Learning Theory. Proceedings, 1997. VIII, 331 pages. 1997. (Subseries LNAI). Vol. 1209: L. Cavedon, A. Rao, W. Wobcke (Eds.), Intelligent Agent Systems. Proceedings, 1996. IX, 188 pages. 1997. (Subseries LNAI). Vol. 1210: P. de Groote, J.R. Hindley (Eds.), Typed Lambda Calculi and Applications. Proceedings, 1997. VIII, 405 pages. 1997. Vol. 1211: E. Keravnou, C. Garbay, R. Baud, J. Wyatt (Eds.), Artificial Intelligence in Medicine. Proceedings, 1997. XIII, 526 pages. 1997. (Subseries LNAI). Vol. 1212: J. P. Bowen, M.G. Hinchey, D. Till (Eds.), ZUM '97: The Z Formal Specification Notation. Proceedings, 1997. X, 435 pages. 1997. Vol. 1213: P. J. Angeline, R. G. Reynolds, J. R. McDonnell, R. Eberhart (Eds.), Evolutionary Programming. Proceedings, 1997. X, 457 pages. 1997. Vol. 1214: M~ Bidoit, M. Dauchet (Eds.), TAPSOFT '97: Theory and Practice of Software Development. Proceedings, 1997. XV, 884 pages. 1997. Vol. 1215: J. M. L. M. Palma, J. Dongarra (Eds.), Vector and Parallel Processing - VECPAR'96. Proceedings, 1996. X1, 471 pages. 1997. Vol. 1216: J. Dix, L. Moniz Pereira, T.C. Przymusinski (Eds.), Non-Monotonic Extensions of Logic Programming. Proceedings, 1996. XI, 224 pages. 1997. (Subseries LNAI). Vol. 1217: E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems. Proceedings, 1997. X, 433 pages. 1997. Vol. 1218: G. P~un, A. Salomaa (Eds.), New Trends in Formal Languages. IX, 465 pages. 1997. Vol. 1219: K. Rothermel, R. Popeseu-Zeletin (Eds.), Mobile Agents. Proceedings, 1997. VIII, 223 pages. 1997. Vol. 1220: P. Brezany, Input/Output Intensive Massively Parallel Computing. XIV, 288 pages. 1997. Vol. 1222: J. Vitek, C. Tschudin (Eds.), Mobile Object Systems. Proceedings, 1996. X, 319 pages. 1997.