177:
183:
188:
67:
826:
38:
229:– 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.
848:
78:
46:
893:
875:
825:
820:
305:
37:
659:
571:
501:
465:
870:
236:
413:
754:
717:
680:
625:
591:
555:
449:
421:
406:
393:
652:
521:
485:
366:
349:
122:
865:
198:
125:
that is locally confluent, but not globally confluent. (By Newman's lemma, it is necessarily non-terminating.)
861:
The following pages on the
English Knowledge (XXG) use this file (pages on other projects are not listed):
296:
235:– If you remix, transform, or build upon the material, you must distribute your contributions under the
428:
195:
836:
86:
292:
154:
844:
73:
170:
I, the copyright holder of this work, hereby publish it under the following license:
134:
793:
Click on a date/time to view the file as it appeared at that time.
61:
849:
Cyclic_locally,_but_not_globally_confluent_rewrite_system.gif
111:
Cyclic locally, but not globally confluent rewrite system.png
47:
Cyclic_locally,_but_not_globally_confluent_rewrite_system.png
333:
Add a one-line explanation of what this file represents
502:
Creative
Commons Attribution-ShareAlike 3.0 Unported
105:
85:
Commons is a freely licensed media file repository.
51:(507 × 228 pixels, file size: 959 bytes, MIME type:
851:). This GIF was problematic due to non-greyscale...
429:http://commons.wikimedia.org/User:Jochen_Burghardt
246:https://creativecommons.org/licenses/by-sa/3.0
66:
252:Creative Commons Attribution-Share Alike 3.0
176:
8:
212:– to copy, distribute and transmit the work
795:
329:
886:The following other wikis use this file:
641:d7a0968af78196cd7a68a7965d1a1895ec39dd05
268:
863:
768:
752:
731:
715:
694:
678:
639:
623:
605:
589:
569:
553:
535:
519:
499:
483:
463:
447:
380:
364:
347:
344:
325:
318:
7:
199:Attribution-Share Alike 3.0 Unported
784:
312:User created page with UploadWizard
187:
182:
338:
332:
173:
169:
115:
98:
44:
337:
876:Normal form (abstract rewriting)
323:
223:Under the following conditions:
194:This file is licensed under the
186:
181:
175:
65:
31:
21:
871:Confluence (abstract rewriting)
320:
116:
41:No higher resolution available.
14:
319:
26:
1:
572:original creation by uploader
345:Items portrayed in this file
912:
890:Usage on ru.wikipedia.org
237:same or compatible license
866:Abstract rewriting system
785:
286:7 November 2013, 19:59:54
144:
123:abstract rewriting system
16:
843:Bot: Converting file to
322:
203:
72:This is a file from the
842:
150:
140:
133:
130:
108:
76:. Information from its
894:Переписывающая система
821:08:44, 4 December 2014
289:507 × 228 (1299 bytes)
121:Shows a simple cyclic
79:description page there
653:determination method
847:PNG file. (Source:
265:Original upload log
218:– to adapt the work
407:Wikimedia username
394:author name string
882:Global file usage
854:
486:copyright license
331:
317:
316:
160:
159:
94:
93:
74:Wikimedia Commons
32:Global file usage
903:
833:
773:
736:
699:
662:
657:
450:copyright status
431:
426:
416:
414:Jochen Burghardt
411:
401:
400:Jochen Burghardt
398:
304:
303:
293:Jochen Burghardt
269:
259:
256:
253:
250:
247:
239:as the original.
196:Creative Commons
190:
189:
185:
184:
179:
178:
155:Jochen Burghardt
146:
136:
120:
112:
106:
90:
69:
68:
62:
56:
54:
911:
910:
906:
905:
904:
902:
901:
900:
880:
862:
855:
839:
831:
787:
786:
783:
782:
781:
780:
779:
778:
777:
776:
774:
771:
761:
760:
759:
757:
746:
745:
744:
743:
742:
741:
740:
739:
737:
734:
724:
723:
722:
720:
709:
708:
707:
706:
705:
704:
703:
702:
700:
697:
687:
686:
685:
683:
672:
671:
670:
669:
668:
667:
666:
665:
664:
663:
658:
655:
646:
645:
644:
642:
632:
631:
630:
628:
617:
616:
615:
614:
613:
612:
611:
610:
608:
598:
597:
596:
594:
583:
582:
581:
580:
579:
578:
577:
576:
574:
562:
561:
560:
558:
547:
546:
545:
544:
543:
542:
541:
540:
538:
528:
527:
526:
524:
513:
512:
511:
510:
509:
508:
507:
506:
504:
492:
491:
490:
488:
477:
476:
475:
474:
473:
472:
471:
470:
468:
456:
455:
454:
452:
441:
440:
439:
438:
437:
436:
435:
434:
433:
432:
427:
424:
418:
417:
412:
409:
403:
402:
399:
396:
387:
386:
385:
383:
373:
372:
371:
369:
358:
357:
356:
355:
354:
352:
336:
335:
334:
301:
299:
267:
262:
261:
260:
257:
254:
251:
248:
245:
244:
202:
191:
172:
171:
166:
161:
126:
110:
103:
96:
95:
84:
83:
82:is shown below.
58:
52:
50:
43:
42:
12:
11:
5:
909:
907:
899:
898:
897:
896:
884:
883:
879:
878:
873:
868:
860:
859:
858:
853:
852:
841:
837:
834:
828:
823:
818:
814:
813:
810:
807:
804:
801:
798:
791:
790:
775:
769:
767:
766:
765:
764:
763:
762:
758:
753:
751:
750:
749:
748:
747:
738:
732:
730:
729:
728:
727:
726:
725:
721:
716:
714:
713:
712:
711:
710:
701:
695:
693:
692:
691:
690:
689:
688:
684:
679:
677:
676:
675:
674:
673:
651:
650:
649:
648:
647:
643:
640:
638:
637:
636:
635:
634:
633:
629:
624:
622:
621:
620:
619:
618:
609:
606:
604:
603:
602:
601:
600:
599:
595:
590:
588:
587:
586:
585:
584:
575:
570:
568:
567:
566:
565:
564:
563:
559:
556:source of file
554:
552:
551:
550:
549:
548:
539:
536:
534:
533:
532:
531:
530:
529:
525:
520:
518:
517:
516:
515:
514:
505:
500:
498:
497:
496:
495:
494:
493:
489:
484:
482:
481:
480:
479:
478:
469:
464:
462:
461:
460:
459:
458:
457:
453:
448:
446:
445:
444:
443:
442:
420:
419:
405:
404:
392:
391:
390:
389:
388:
384:
381:
379:
378:
377:
376:
375:
374:
370:
365:
363:
362:
361:
360:
359:
353:
348:
346:
343:
342:
341:
340:
339:
328:
327:
324:
321:
315:
314:
309:
290:
287:
283:
282:
279:
276:
273:
266:
263:
243:
242:
241:
240:
230:
221:
220:
219:
213:
206:You are free:
193:
192:
174:
168:
167:
165:
162:
158:
157:
152:
148:
147:
142:
138:
137:
132:
128:
127:
113:
104:
102:
99:
97:
92:
91:
70:
60:
59:
40:
36:
35:
34:
29:
24:
19:
13:
10:
9:
6:
4:
3:
2:
908:
895:
892:
891:
889:
888:
887:
881:
877:
874:
872:
869:
867:
864:
856:
850:
846:
840:
835:
829:
827:
824:
822:
819:
816:
815:
811:
808:
805:
802:
799:
797:
796:
794:
788:
756:
719:
682:
661:
654:
627:
593:
573:
557:
523:
503:
487:
467:
451:
430:
423:
415:
408:
395:
368:
351:
313:
310:
307:
298:
294:
291:
288:
285:
284:
280:
277:
274:
271:
270:
264:
249:CC BY-SA 3.0
238:
234:
231:
228:
225:
224:
222:
217:
214:
211:
208:
207:
205:
204:
200:
197:
180:
163:
156:
153:
149:
143:
139:
129:
124:
119:
114:
107:
100:
88:
81:
80:
75:
71:
64:
63:
57:
48:
39:
33:
30:
28:
25:
23:
20:
18:
15:
885:
792:
789:File history
311:
232:
226:
215:
209:
117:
87:You can help
77:
45:
22:File history
832:(959 bytes)
537:1 July 2013
466:copyrighted
233:share alike
227:attribution
135:1 July 2013
109:Description
857:File usage
830:507 × 228
806:Dimensions
592:media type
382:some value
275:Dimensions
27:File usage
838:GifTagger
803:Thumbnail
800:Date/Time
681:data size
607:image/png
522:inception
272:Date/Time
164:Licensing
118:English:
53:image/png
845:superior
626:checksum
326:Captions
306:contribs
281:Comment
216:to remix
210:to share
201:license.
145:Own work
817:current
812:Comment
367:creator
350:depicts
330:English
101:Summary
49:
718:height
300:
151:Author
141:Source
772:pixel
755:width
735:pixel
660:SHA-1
809:User
770:507
733:228
698:byte
696:959
297:talk
278:User
258:true
255:true
131:Date
17:File
422:URL
656::
425::
410::
397::
308:)
302:·
295:(
89:.
55:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.