592:
582:
564:
787:
320:
243:
222:
191:
689:
662:
1151:
699:
1104:
The "non-deterministic" stuff and links to "non-deterministic algorithm" only appears in the introduction, not elaborated anywhere in the rest of the article. I think that can be a bit confusing for some... I'm seriously thinking about removing said links. Another thing is that cites no references at
1067:
But that doesn't mean an algorithm should be "non-deterministic" (there really isn't much point to make the result dependent on trivial factors such as time), just as stated in the paragraph: "Rewriting systems then do not provide an algorithm for changing one term to another, but a set of possible
908:
Yes, yes! Please work on this article. For one thing, it needs more history. There may be some review articles that could be used to create an overview. At present it seems to have little content, but offers a series of formalizations of rewriting that have been created for different purposes. There
968:
The citation of Davis et.al. in the Notes section has no counterpart in the
Further Reading section, I think that maybe this is what's been originally intended (and that's why I didn't just added the citation under the FR section), so then the article needs another section, a References or
341:
889:
For example, the lead could offer some more background on what they're used for, and we could offer a few more examples. No concrete examples of string rewriting systems are given, yet these might be good intuitive starting points for some students.
909:
is not much explanation of what those purposes might be. An improved article should have at least of bit of logic, algebra and computer science. It probably can't be very detailed but it should at least give the reader a feeling for the subject.
885:
It looks like this article has a pretty steep curve: it has a very broad intro, then one example without much discussion, and then jumps into a very detailed abstract treatment. A bit more help could be offered for the uninitiated.
153:
1134:
822:
Various properties, simpler than Church-Rosser, are equivalent to it; here we These existence of these equivalent properties allows one to prove that a system is Church-Rosser with less work.
365:
644:
505:
422:
360:
1193:
293:
283:
720:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
147:
1208:
1198:
638:
893:
I may take a crack at giving an informal description of SRSes to complement the formal one, and perhaps add an example or two. Anyone else want to chip in?
1218:
757:
747:
259:
1188:
467:
79:
441:
1228:
614:
306:
250:
227:
1203:
722:
530:
85:
819:
The following sentence from chapter 2.2, second paragraph, is completely illegible to me, but my knowledge is not sufficient to correct it:
1213:
1040:
section, as it is (with comments about the documents), intends to be an annotated bibliography, so that's what I think it should be named.
413:
1138:
1233:
1059:
The introductory section states rewriting "can be non-deterministic". I think what it means is that, given only the original formula,
950:
1125:
Section "Termination" has a cross-reference to a page section "Termination and convergence" which no longer exists. It was broken in
924:
1110:
992:
605:
569:
394:
44:
712:
667:
1223:
486:
99:
30:
104:
20:
74:
1106:
867:
841:
I'm not entirely sure what the original intention was, but I've fixed it to something I understand. Is it better now? --
451:
332:
202:
168:
1093:
794:
672:
461:
375:
135:
65:
1169:
496:
258:
related articles on
Knowledge. If you would like to participate, please visit the project page, where you can join
1160:
1089:
1019:
860:
523:
1092:) methods ...") and the one to "non-deterministic algorithm" at the beginning of the second ("Rewriting can be
969:
Bibliography section or just add the full citation. Anyway here is the full document citation of Davis et.al.:
846:
954:
864:
109:
129:
1165:
432:
208:
1045:
1027:
1000:
927:"Term Rewriting and All That", sounds like it would have material in support of a better introduction.
591:
125:
932:
914:
986:
Computability, Complexity, and
Languages: Fundamentals of Theoretical Computer Science – 2nd edition
190:
1130:
1096:") might suggest (perhaps for some people, but that still makes it potentially confusing) that the
898:
842:
161:
55:
1041:
1023:
996:
613:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
831:
597:
175:
70:
581:
563:
1164:; I changed the sentence accordingly. Thanks for noticing, and looking up the relevant edit! -
977:
1072:
However, the link to "deterministic computation" at the beginning of the first paragraph ("In
989:
981:
704:
351:
51:
1010:
I continue with my two cents regarding the citations, maybe it would be better to rename the
1077:
1022:. Then add the citations of Davis and Church-Rosser. And modify the footer of Church-Rosser.
403:
255:
928:
910:
894:
477:
319:
141:
786:
342:
Requested articles/Applied arts and sciences/Computer science, computing, and
Internet
1182:
827:
973:
859:
Thanks for the correction. I produced the gibberish when I summarized the longer
1073:
1068:
rule applications." This really is different from "non-deterministic algorithm".
610:
1063:
is non-deterministic because their can be more than one ways of rewriting it.
717:
694:
587:
384:
24:
949:
Anything on term rewriting's fields of application would be of interest. --
242:
221:
716:, a collaborative effort to improve the coverage of content related to
688:
661:
1081:
1173:
1142:
1114:
1049:
1031:
1004:
958:
936:
918:
902:
872:
850:
835:
460:
Find pictures for the biographies of computer scientists (see
184:
15:
785:
1158:
The general ARS stuff was omitted, since it is found in
1126:
160:
1117:
corrected line breaks 12:33, 14 February 2014 (UTC)
609:, a collaborative effort to improve the coverage of
254:, a collaborative effort to improve the coverage of
1100:for rewriting are "potentially non-deterministic".
768:
643:This article has not yet received a rating on the
366:Computer science articles needing expert attention
33:for general discussion of the article's subject.
506:WikiProject Computer science/Unreferenced BLPs
825:Someone more knowledgable should correct it.
174:
8:
423:Computer science articles without infoboxes
361:Computer science articles needing attention
765:
656:
558:
327:Here are some tasks awaiting attention:
301:
216:
1194:Mid-importance Computer science articles
1135:2A00:23C7:E482:AB01:3D2F:C6F6:E910:A9A2
658:
560:
218:
188:
726:about philosophy content on Knowledge.
268:Knowledge:WikiProject Computer science
1209:Unknown-priority mathematics articles
1199:WikiProject Computer science articles
271:Template:WikiProject Computer science
7:
1088:covers a wide range of (potentially
710:This article is within the scope of
603:This article is within the scope of
248:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
1219:Low-importance Philosophy articles
442:Timeline of computing 2020–present
14:
1189:C-Class Computer science articles
881:More tutorial for the lay reader?
623:Knowledge:WikiProject Mathematics
468:Computing articles needing images
1149:
732:Knowledge:WikiProject Philosophy
697:
687:
660:
626:Template:WikiProject Mathematics
590:
580:
562:
318:
241:
220:
189:
45:Click here to start a new topic.
752:This article has been rated as
735:Template:WikiProject Philosophy
288:This article has been rated as
873:16:31, 10 September 2009 (UTC)
863:here by pruning some details.
851:15:22, 10 September 2009 (UTC)
836:14:47, 10 September 2009 (UTC)
1:
1229:Low-importance logic articles
1174:14:41, 17 December 2021 (UTC)
1143:14:14, 17 December 2021 (UTC)
1115:12:30, 14 February 2014 (UTC)
617:and see a list of open tasks.
522:Tag all relevant articles in
262:and see a list of open tasks.
42:Put new text under old text.
1204:C-Class mathematics articles
531:WikiProject Computer science
307:WikiProject Computer science
251:WikiProject Computer science
1214:C-Class Philosophy articles
462:List of computer scientists
50:New to Knowledge? Welcome!
1250:
959:19:14, 31 March 2011 (UTC)
937:15:58, 20 April 2019 (UTC)
919:04:25, 16 March 2011 (UTC)
903:04:03, 16 March 2011 (UTC)
758:project's importance scale
294:project's importance scale
1234:Logic task force articles
1161:Abstract rewriting system
1121:broken internal reference
1050:15:58, 24 July 2012 (UTC)
1032:15:31, 24 July 2012 (UTC)
1020:Knowledge Manual of Style
1005:04:48, 23 July 2012 (UTC)
925:book by Baader and Nipkow
861:Abstract rewriting system
793:
764:
751:
682:
642:
575:
524:Category:Computer science
300:
287:
274:Computer science articles
236:
215:
80:Be welcoming to newcomers
645:project's priority scale
526:and sub-categories with
1107:Thomas J. S. Greenfield
769:Associated task forces:
606:WikiProject Mathematics
1224:C-Class logic articles
790:
713:WikiProject Philosophy
487:Computer science stubs
197:This article is rated
75:avoid personal attacks
789:
100:Neutral point of view
1018:as suggested in the
629:mathematics articles
305:Things you can help
105:No original research
1131:User:Mathnerd314159
738:Philosophy articles
988:, Academic Press,
815:Broken sentence(s)
791:
723:general discussion
598:Mathematics portal
203:content assessment
86:dispute resolution
47:
1094:non-deterministic
1090:non-deterministic
1055:Non-deterministic
1036:As I see it, the
982:Elaine J. Weyuker
870:
812:
811:
808:
807:
804:
803:
800:
799:
705:Philosophy portal
655:
654:
651:
650:
557:
556:
553:
552:
549:
548:
545:
544:
183:
182:
66:Assume good faith
43:
1241:
1166:Jochen Burghardt
1157:
1153:
1152:
1078:computer science
868:
776:
766:
740:
739:
736:
733:
730:
707:
702:
701:
700:
691:
684:
683:
678:
675:
664:
657:
631:
630:
627:
624:
621:
600:
595:
594:
584:
577:
576:
566:
559:
535:
529:
404:Computer science
333:Article requests
322:
315:
314:
302:
276:
275:
272:
269:
266:
265:Computer science
256:Computer science
245:
238:
237:
232:
228:Computer science
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
1249:
1248:
1244:
1243:
1242:
1240:
1239:
1238:
1179:
1178:
1150:
1148:
1123:
1057:
1038:Further Reading
1012:Further Reading
966:
947:
883:
823:
817:
774:
737:
734:
731:
728:
727:
703:
698:
696:
676:
670:
628:
625:
622:
619:
618:
596:
589:
541:
538:
533:
527:
515:Project-related
510:
491:
472:
446:
427:
408:
389:
370:
346:
273:
270:
267:
264:
263:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1247:
1245:
1237:
1236:
1231:
1226:
1221:
1216:
1211:
1206:
1201:
1196:
1191:
1181:
1180:
1177:
1176:
1122:
1119:
1101:
1069:
1064:
1056:
1053:
1008:
1007:
965:
962:
946:
943:
942:
941:
940:
939:
882:
879:
878:
877:
876:
875:
854:
853:
843:Stephan Schulz
826:
821:
816:
813:
810:
809:
806:
805:
802:
801:
798:
797:
792:
782:
781:
779:
777:
771:
770:
762:
761:
754:Low-importance
750:
744:
743:
741:
709:
708:
692:
680:
679:
677:Low‑importance
665:
653:
652:
649:
648:
641:
635:
634:
632:
615:the discussion
602:
601:
585:
573:
572:
567:
555:
554:
551:
550:
547:
546:
543:
542:
540:
539:
537:
536:
519:
511:
509:
508:
502:
492:
490:
489:
483:
473:
471:
470:
465:
457:
447:
445:
444:
438:
428:
426:
425:
419:
409:
407:
406:
400:
390:
388:
387:
381:
371:
369:
368:
363:
357:
347:
345:
344:
338:
326:
324:
323:
311:
310:
298:
297:
290:Mid-importance
286:
280:
279:
277:
260:the discussion
246:
234:
233:
231:Mid‑importance
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1246:
1235:
1232:
1230:
1227:
1225:
1222:
1220:
1217:
1215:
1212:
1210:
1207:
1205:
1202:
1200:
1197:
1195:
1192:
1190:
1187:
1186:
1184:
1175:
1171:
1167:
1163:
1162:
1156:
1147:
1146:
1145:
1144:
1140:
1136:
1132:
1128:
1120:
1118:
1116:
1112:
1108:
1102:
1099:
1095:
1091:
1087:
1083:
1079:
1075:
1070:
1065:
1062:
1054:
1052:
1051:
1047:
1043:
1039:
1034:
1033:
1029:
1025:
1021:
1017:
1013:
1006:
1002:
998:
994:
993:0-12-206382-1
991:
987:
983:
979:
975:
972:
971:
970:
963:
961:
960:
956:
952:
944:
938:
934:
930:
926:
922:
921:
920:
916:
912:
907:
906:
905:
904:
900:
896:
891:
887:
880:
874:
871:
866:
862:
858:
857:
856:
855:
852:
848:
844:
840:
839:
838:
837:
833:
829:
820:
814:
796:
788:
784:
783:
780:
778:
773:
772:
767:
763:
759:
755:
749:
746:
745:
742:
725:
724:
719:
715:
714:
706:
695:
693:
690:
686:
685:
681:
674:
669:
666:
663:
659:
646:
640:
637:
636:
633:
616:
612:
608:
607:
599:
593:
588:
586:
583:
579:
578:
574:
571:
568:
565:
561:
532:
525:
521:
520:
518:
516:
512:
507:
504:
503:
501:
499:
498:
493:
488:
485:
484:
482:
480:
479:
474:
469:
466:
463:
459:
458:
456:
454:
453:
448:
443:
440:
439:
437:
435:
434:
429:
424:
421:
420:
418:
416:
415:
410:
405:
402:
401:
399:
397:
396:
391:
386:
383:
382:
380:
378:
377:
372:
367:
364:
362:
359:
358:
356:
354:
353:
348:
343:
340:
339:
337:
335:
334:
329:
328:
325:
321:
317:
316:
313:
312:
308:
304:
303:
299:
295:
291:
285:
282:
281:
278:
261:
257:
253:
252:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1159:
1154:
1124:
1103:
1097:
1085:
1071:
1066:
1060:
1058:
1037:
1035:
1015:
1011:
1009:
985:
974:Martin Davis
967:
951:78.49.180.20
948:
945:Applications
892:
888:
884:
824:
818:
753:
721:
711:
604:
514:
513:
497:Unreferenced
495:
494:
476:
475:
450:
449:
431:
430:
412:
411:
393:
392:
374:
373:
350:
349:
331:
330:
289:
249:
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
1074:mathematics
1014:section to
620:Mathematics
611:mathematics
570:Mathematics
148:free images
31:not a forum
1183:Categories
1098:algorithms
1016:References
929:EdJohnston
911:EdJohnston
729:Philosophy
718:philosophy
668:Philosophy
1127:this edit
1086:rewriting
1061:rewriting
984:, (1994)
978:Ron Sigal
964:Citations
895:Ezrakilty
385:Computing
88:if needed
71:Be polite
25:Rewriting
21:talk page
828:H.Marxen
433:Maintain
376:Copyedit
56:get help
29:This is
27:article.
1105:all. --
997:Anrusso
756:on the
414:Infobox
352:Cleanup
292:on the
199:C-class
154:WPÂ refs
142:scholar
1080:, and
395:Expand
205:scale.
126:Google
1082:logic
795:Logic
673:Logic
478:Stubs
452:Photo
309:with:
169:JSTOR
130:books
84:Seek
1170:talk
1155:Done
1139:talk
1111:talk
1046:talk
1042:anrc
1028:talk
1024:anrc
1001:talk
990:ISBN
955:talk
933:talk
923:The
915:talk
899:talk
869:ping
865:Pcap
847:talk
832:talk
162:FENS
136:news
73:and
1133:--
1129:by
748:Low
639:???
284:Mid
176:TWL
1185::
1172:)
1141:)
1113:)
1084:,
1076:,
1048:)
1030:)
1003:)
995:.
980:,
976:,
957:)
935:)
917:)
901:)
849:)
834:)
775:/
671::
534:}}
528:{{
156:)
54:;
1168:(
1137:(
1109:(
1044:(
1026:(
999:(
953:(
931:(
913:(
897:(
845:(
830:(
760:.
647:.
517::
500::
481::
464:)
455::
436::
417::
398::
379::
355::
336::
296:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.