Knowledge

File:Non-cyclic locally, but not globally confluent rewrite system.gif

Source 📝

516:"}},"text\/plain":{"en":{"":"inception"}}},"{\"value\":{\"time\":\"+2013-07-01T00:00:00Z\",\"timezone\":0,\"before\":0,\"after\":0,\"precision\":11,\"calendarmodel\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q1985727\"},\"type\":\"time\"}":{"text\/html":{"en":{"P571":"1 July 2013"}},"text\/plain":{"en":{"P571":"1 July 2013"}}}}": --> 317: 196: 201: 329:"}},"text\/plain":{"en":{"P2093":"Jochen Burghardt","P4174":"Jochen Burghardt"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":4174,\"id\":\"P4174\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":" 62: 666: 636: 472:"}},"text\/plain":{"en":{"":"copyright license"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":14946043,\"id\":\"Q14946043\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P275":" 428:"}},"text\/plain":{"en":{"":"copyright status"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":50423863,\"id\":\"Q50423863\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P6216":" 554:"}},"text\/plain":{"en":{"":"source of file"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":66458942,\"id\":\"Q66458942\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P7482":" 333:"}},"text\/plain":{"en":{"":"Wikimedia username"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2699,\"id\":\"P2699\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":" 321:"}},"text\/plain":{"en":{"":"creator"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2093,\"id\":\"P2093\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":" 550: 337:"}},"text\/plain":{"en":{"":"URL"}}},"{\"value\":\"http:\\\/\\\/commons.wikimedia.org\\\/wiki\\\/User:Jochen_Burghardt\",\"type\":\"string\"}":{"text\/html":{"en":{"P2699":" 242:– You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. 326: 73: 41: 338: 555: 473: 429: 551: 425: 334: 330: 322: 513: 469: 318: 116:
Shows an infinite non-cyclic abstract rewrite system that is locally confluent, but not globally confluent. (By Newman's lemma, it is necessarily non-terminating.)
665: 660: 341:"}},"text\/plain":{"en":{"P2699":"http:\/\/commons.wikimedia.org\/wiki\/User:Jochen_Burghardt"}}}}": --> 476:"}},"text\/plain":{"en":{"P275":"Creative Commons Attribution-ShareAlike 3.0 Unported"}}}}": --> 635: 630: 32: 581: 499: 455: 249: 395: 565: 439: 403: 388: 375: 558:"}},"text\/plain":{"en":{"P7482":"original creation by uploader"}}}}": --> 154: 523: 483: 348: 307: 697: 211: 653:
inserted arrow tip to (unshown) node g, made \vdots of descreasing size - to emphasize impression of infinity
248:– If you remix, transform, or build upon the material, you must distribute your contributions under the 432:"}},"text\/plain":{"en":{"P6216":"copyrighted"}}}}": --> 410: 81: 167: 676: 646: 208: 8: 68: 297: 183:
I, the copyright holder of this work, hereby publish it under the following license:
144:, Handbook of Theoretical Computer Science, B, Elsevier, pp. 243–320 575: 533: 493: 449: 358: 603:
Click on a date/time to view the file as it appeared at that time.
140:
N. Dershowitz and J.-P. Jouannaud (1990) Jan van Leeuwen , ed.
106:
Non-cyclic locally, but not globally confluent rewrite system.gif
42:
Non-cyclic_locally,_but_not_globally_confluent_rewrite_system.gif
147: 339:
http:\/\/commons.wikimedia.org\/wiki\/User:Jochen_Burghardt
125: 56: 291:
Add a one-line explanation of what this file represents
691: 601: 500:
Creative Commons Attribution-ShareAlike 3.0 Unported
474:
Creative Commons Attribution-ShareAlike 3.0 Unported
80:
Commons is a freely licensed media file repository.
411:http://commons.wikimedia.org/User:Jochen_Burghardt 46:(527 × 294 pixels, file size: 2 KB, MIME type: 259:https://creativecommons.org/licenses/by-sa/3.0 61: 265:Creative Commons Attribution-Share Alike 3.0 189: 121: 103: 163: 131: 14: 225:– to copy, distribute and transmit the work 92: 212:Attribution-Share Alike 3.0 Unported 693:The following page uses this file: 683:User created page with UploadWizard 594: 200: 195: 148: 146: 13: 296: 290: 186: 182: 110: 93: 39: 709: 295: 281: 236:Under the following conditions: 207:This file is licensed under the 199: 194: 188: 138:, inspired by Fig.2b, p.268 of: 60: 21: 698:Confluence (abstract rewriting) 278: 111: 36:No higher resolution available. 598: 277: 26: 1: 582:original creation by uploader 556:original creation by uploader 688: 303:Items portrayed in this file 176: 7: 142:Formal Models and Semantics 10: 714: 250:same or compatible license 100: 95: 595: 135: 16: 280: 216: 67:This is a file from the 31: 682: 652: 124: 71:. Information from its 661:20:00, 7 November 2013 74:description page there 631:15:17, 12 July 2020 231:– to adapt the work 389:Wikimedia username 376:author name string 331:Wikimedia username 323:author name string 686: 484:copyright license 470:copyright license 289: 173: 172: 158: 89: 88: 69:Wikimedia Commons 705: 678:Jochen Burghardt 673: 648:Jochen Burghardt 643: 605: 440:copyright status 426:copyright status 413: 408: 398: 396:Jochen Burghardt 393: 383: 382:Jochen Burghardt 380: 327:Jochen Burghardt 287: 272: 269: 266: 263: 260: 252:as the original. 209:Creative Commons 203: 202: 198: 197: 192: 191: 168:Jochen Burghardt 159: 152: 150: 145: 137: 127: 115: 107: 101: 85: 64: 63: 57: 51: 49: 713: 712: 708: 707: 706: 704: 703: 702: 687: 679: 671: 649: 641: 597: 596: 593: 592: 591: 590: 589: 588: 587: 586: 584: 572: 571: 570: 568: 549: 548: 547: 546: 545: 544: 543: 542: 540: 530: 529: 528: 526: 511: 510: 509: 508: 507: 506: 505: 504: 502: 490: 489: 488: 486: 467: 466: 465: 464: 463: 462: 461: 460: 458: 446: 445: 444: 442: 423: 422: 421: 420: 419: 418: 417: 416: 415: 414: 409: 406: 400: 399: 394: 391: 385: 384: 381: 378: 369: 368: 367: 365: 355: 354: 353: 351: 316: 315: 314: 313: 312: 310: 294: 293: 292: 275: 274: 273: 270: 267: 264: 261: 258: 257: 215: 204: 185: 184: 179: 174: 139: 117: 105: 98: 91: 90: 79: 78: 77:is shown below. 53: 47: 45: 38: 37: 12: 11: 5: 711: 701: 700: 690: 685: 684: 681: 677: 674: 668: 663: 658: 655: 654: 651: 647: 644: 638: 633: 628: 624: 623: 620: 617: 614: 611: 608: 600: 585: 580: 578: 577: 576: 574: 573: 569: 566:source of file 564: 562: 561: 560: 559: 557: 553: 552:source of file 541: 538: 536: 535: 534: 532: 531: 527: 522: 520: 519: 518: 517: 515: 503: 498: 496: 495: 494: 492: 491: 487: 482: 480: 479: 478: 477: 475: 471: 459: 454: 452: 451: 450: 448: 447: 443: 438: 436: 435: 434: 433: 431: 427: 402: 401: 387: 386: 374: 373: 372: 371: 370: 366: 363: 361: 360: 359: 357: 356: 352: 347: 345: 344: 343: 342: 340: 336: 332: 328: 324: 320: 311: 306: 304: 301: 300: 299: 298: 286: 285: 282: 279: 256: 255: 254: 253: 243: 234: 233: 232: 226: 219:You are free: 206: 205: 187: 181: 180: 178: 175: 171: 170: 165: 161: 160: 133: 129: 128: 123: 119: 118: 108: 99: 97: 94: 87: 86: 65: 55: 54: 35: 30: 29: 24: 19: 9: 6: 4: 3: 2: 710: 699: 696: 695: 694: 680: 675: 669: 667: 664: 662: 659: 657: 656: 650: 645: 639: 637: 634: 632: 629: 626: 625: 621: 618: 615: 612: 609: 607: 606: 604: 583: 579: 567: 563: 537: 525: 521: 501: 497: 485: 481: 457: 453: 441: 437: 412: 405: 397: 390: 377: 362: 350: 346: 309: 305: 302: 283: 276: 262:CC BY-SA 3.0 251: 247: 244: 241: 238: 237: 235: 230: 227: 224: 221: 220: 218: 217: 213: 210: 193: 169: 166: 162: 156: 155:0-444-88074-7 151: 143: 134: 130: 120: 114: 109: 102: 83: 76: 75: 70: 66: 59: 58: 52: 43: 34: 28: 25: 23: 20: 18: 15: 692: 602: 599:File history 245: 239: 228: 222: 141: 112: 82:You can help 72: 40: 22:File history 539:1 July 2013 456:copyrighted 430:copyrighted 246:share alike 240:attribution 126:1 July 2013 104:Description 689:File usage 670:527 × 294 640:527 × 294 616:Dimensions 364:some value 27:File usage 613:Thumbnail 610:Date/Time 524:inception 514:inception 177:Licensing 113:English: 48:image/gif 284:Captions 229:to remix 223:to share 214:license. 136:Own work 627:current 622:Comment 349:creator 319:creator 308:depicts 288:English 96:Summary 44:‎ 672:(2 KB) 642:(2 KB) 164:Author 132:Source 619:User 271:true 268:true 149:ISBN 122:Date 17:File 404:URL 335:URL 153:: 407:: 392:: 379:: 157:. 84:. 50:)

Index

File
File history
File usage
File:Non-cyclic locally, but not globally confluent rewrite system.gif
Non-cyclic_locally,_but_not_globally_confluent_rewrite_system.gif
Wikimedia Commons
description page there
You can help
ISBN
0-444-88074-7
Jochen Burghardt
Creative Commons
Attribution-Share Alike 3.0 Unported
same or compatible license
depicts
creator<\/a>"}},"text\/plain":{"en":{"":"creator"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2093,\"id\":\"P2093\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"author name string<\/a>"}},"text\/plain":{"en":{"":"author name string"}}},"{\"value\":\"Jochen Burghardt\",\"type\":\"string\"}":{"text\/html":{"en":{"P2093":"Jochen Burghardt","P4174":"Jochen Burghardt<\/a>"}},"text\/plain":{"en":{"P2093":"Jochen Burghardt","P4174":"Jochen Burghardt"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":4174,\"id\":\"P4174\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"Wikimedia username<\/a>"}},"text\/plain":{"en":{"":"Wikimedia username"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2699,\"id\":\"P2699\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"URL<\/a>"}},"text\/plain":{"en":{"":"URL"}}},"{\"value\":\"http:\\\/\\\/commons.wikimedia.org\\\/wiki\\\/User:Jochen_Burghardt\",\"type\":\"string\"}":{"text\/html":{"en":{"P2699":"http:\/\/commons.wikimedia.org\/wiki\/User:Jochen_Burghardt<\/a>"}},"text\/plain":{"en":{"P2699":"http:\/\/commons.wikimedia.org\/wiki\/User:Jochen_Burghardt"}}}}">

creator
author name string
Wikimedia username
Jochen Burghardt
URL
http://commons.wikimedia.org/User:Jochen_Burghardt
copyright status<\/a>"}},"text\/plain":{"en":{"":"copyright status"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":50423863,\"id\":\"Q50423863\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P6216":"copyrighted<\/a>"}},"text\/plain":{"en":{"P6216":"copyrighted"}}}}">

copyright status
copyrighted
copyright license<\/a>"}},"text\/plain":{"en":{"":"copyright license"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":14946043,\"id\":\"Q14946043\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P275":"Creative Commons Attribution-ShareAlike 3.0 Unported<\/a>"}},"text\/plain":{"en":{"P275":"Creative Commons Attribution-ShareAlike 3.0 Unported"}}}}">

copyright license
Creative Commons Attribution-ShareAlike 3.0 Unported
inception<\/a>"}},"text\/plain":{"en":{"":"inception"}}},"{\"value\":{\"time\":\"+2013-07-01T00:00:00Z\",\"timezone\":0,\"before\":0,\"after\":0,\"precision\":11,\"calendarmodel\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q1985727\"},\"type\":\"time\"}":{"text\/html":{"en":{"P571":"1 July 2013"}},"text\/plain":{"en":{"P571":"1 July 2013"}}}}">