קובץ:CritPair.pdf

גודל התצוגה המקדימה הזאת מסוג JPG של קובץ ה־PDF הזה: 800 × 536 פיקסלים. רזולוציות אחרות: 320 × 215 פיקסלים | 640 × 429 פיקסלים | 1,024 × 686 פיקסלים | 1,280 × 858 פיקסלים | 2,685 × 1,800 פיקסלים.

לקובץ המקורי ‏(2,685 × 1,800 פיקסלים, גודל הקובץ: 94 ק"ב, סוג MIME‏: application/pdf)

זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה.

תקציר

תיאורCritPair.pdf	English: Shows a triangle diagram of a critical pair obtained from two rewrite rules s→t (upper row, left) and l→r (right). The substitution σ unifies the subterm s\|_p with l. The resulting overlay term sσ[lσ]_p (lower row, middle) can be rewritten to the term tσ and sσ[rσ]_p (lower row, left and right), respectively. The latter two terms form the critical pair. They can be eventually rewritten to a common term, if the rewrite rule set is confluent.
תאריך יצירה	‏2 בינואר 2014‏, 20:59:58
מקור	נוצר על־ידי מעלה היצירה
יוצר	Jochen Burghardt
גרסאות אחרות	File:CritPair svg.svg

LaTeX source code

\documentclass[12pt]{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=455mm,paperheight=305mm]{geometry}
\usepackage{amssymb}
\usepackage{amsmath}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{455mm}
\setlength{\textheight}{305mm}
\setlength{\oddsidemargin}{-2.5cm}
\setlength{\parindent}{0cm}
\setlength{\unitlength}{1mm}

% background colors
\definecolor{bL}        {rgb}{0.99,0.80,0.80}   % term l
\definecolor{bR}        {rgb}{0.80,0.99,0.80}   % term r
\definecolor{bS}        {rgb}{0.80,0.80,0.99}   % term s
\definecolor{bT}        {rgb}{0.99,0.99,0.80}   % term t
\definecolor{bSL}       {rgb}{0.80,0.60,0.80}   % s,l intersection
\definecolor{bSR}       {rgb}{0.60,0.80,0.80}   % s,r intersection
% foreground colors
\definecolor{fL}        {rgb}{0.50,0.00,0.00}   % term l
\definecolor{fR}        {rgb}{0.00,0.50,0.00}   % term r
\definecolor{fS}        {rgb}{0.00,0.00,0.50}   % term s
\definecolor{fT}        {rgb}{0.50,0.50,0.00}   % term t
\definecolor{fMeta}     {rgb}{0.00,0.00,0.00}   % diagram arrows etc.
\definecolor{fPath}     {rgb}{0.30,0.30,0.30}   % path p
\definecolor{fSbs}      {rgb}{0.10,0.10,0.10}   % substitution

\begin{document}
\begin{picture}(450,300)
        %\put(0,0){\makebox(0,0){$+$}}%
        %\put(450,300){\makebox(0,0){$+$}}%

\color{fMeta}
\thicklines
% rules
\put(135.000,230.000){\vector(-3,-1){60.000}}
\put(335.000,230.000){\vector(3,-1){60.000}}
%\put(105.000,225.000){\makebox(0.000,0.000)[r]{\bf Rule 1}}
%\put(365.000,225.000){\makebox(0.000,0.000)[l]{\bf Rule 2}}
% rewrites
\put(185.000,105.000){\vector(-3,-1){60.000}}
\put(285.000,105.000){\vector(3,-1){60.000}}
% local confluence?
\multiput(125.000,35.000)(30.000,-10.000){3}{\vector(3,-1){20.000}}
\multiput(345.000,35.000)(-30.000,-10.000){3}{\vector(-3,-1){20.000}}
\put(235.000,5.000){\makebox(0.000,0.000){\Huge\bf ?}}

%%%%%%%%%%%%%%%%% rule: t %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\color{bT}
\multiput(5.000,190.000)(0.050,0.100){300}{\line(1,0){30.000}}
\multiput(35.000,250.000)(0.050,-0.100){480}{\line(-1,-2){15.000}}
\multiput(35.000,170.000)(0.000,0.050){400}{\line(1,0){30.000}}
\multiput(75.000,170.000)(-0.050,0.100){320}{\line(-1,0){30.000}}
\color{fT}
%\put(35.000,250.000){\circle*{1.000}}  % tip
\put(40.000,220.000){\makebox(0.000,0.000){$t$}}
\put(5.000,190.000){\line(1,0){30.000}}
\put(35.000,170.000){\line(0,1){20.000}}
\put(35.000,170.000){\line(1,0){40.000}}
\put(5.000,190.000){\line(1,2){30.000}}
\put(35.000,250.000){\line(1,-2){40.000}}

%%%%%%%%%%%%%%%%% rule: s %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\color{bS}
\multiput(155.000,240.000)(0.050,0.100){300}{\line(1,0){30.000}}
\multiput(185.000,300.000)(0.050,-0.100){480}{\line(-1,-2){15.000}}
\multiput(185.000,220.000)(0.000,0.050){400}{\line(1,0){30.000}}
\multiput(225.000,220.000)(-0.050,0.100){320}{\line(-1,0){30.000}}
\color{fS}
%\put(185.000,300.000){\circle*{1.000}} % tip
\put(190.000,270.000){\makebox(0.000,0.000){$s$}}
\put(155.000,240.000){\line(1,0){30.000}}
\put(185.000,220.000){\line(0,1){20.000}}
\put(185.000,220.000){\line(1,0){40.000}}
\put(155.000,240.000){\line(1,2){30.000}}
\put(185.000,300.000){\line(1,-2){40.000}}

%%%%%%%%%%%%%%%% rule: l %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\color{bL}
\multiput(265.000,240.000)(0.050,0.100){200}{\line(1,0){10.000}}
\multiput(280.000,270.000)(0.050,-0.100){200}{\line(-1,-2){5.000}}
\multiput(295.000,240.000)(-0.050,0.100){100}{\line(-1,0){20.000}}
\multiput(255.000,220.000)(0.050,0.100){200}{\line(1,0){20.000}}
\multiput(265.000,220.000)(0.000,0.100){200}{\line(1,0){20.000}}
\color{fL}
%\put(280.000,270.000){\circle*{1.000}} % tip
\put(280.000,250.000){\makebox(0.000,0.000){$l$}}
\put(255.000,220.000){\line(1,0){29.500}}
\put(255.000,220.000){\line(1,2){25.000}}
\put(280.000,270.000){\line(1,-2){14.750}}
\put(284.500,220.000){\line(0,1){20.500}}
\put(284.500,240.500){\line(1,0){10.250}}

%%%%%%%%%%%%%%%% rule: r %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\color{bR}
\multiput(415.000,190.000)(0.050,0.100){200}{\line(1,0){10.000}}
\multiput(430.000,220.000)(0.050,-0.100){200}{\line(-1,-2){5.000}}
\multiput(445.000,190.000)(-0.050,0.100){100}{\line(-1,0){20.000}}
\multiput(405.000,170.000)(0.050,0.100){200}{\line(1,0){20.000}}
\multiput(415.000,170.000)(0.000,0.100){200}{\line(1,0){20.000}}
\color{fR}
%\put(430.000,220.000){\circle*{1.000}} % tip
\put(430.000,200.000){\makebox(0.000,0.000){$r$}}
\put(405.000,170.000){\line(1,0){29.500}}
\put(405.000,170.000){\line(1,2){25.000}}
\put(430.000,220.000){\line(1,-2){14.750}}
\put(434.500,170.000){\line(0,1){20.500}}
\put(434.500,190.500){\line(1,0){10.250}}



%%%%%%%%%%%%%%%% rewrite result s->t %%%%%%%%%%%%%%%%%%%
\color{bT}
\multiput(55.000,65.000)(0.050,0.100){400}{\line(1,0){10.000}}
\multiput(85.000,125.000)(0.050,-0.100){480}{\line(-1,-2){10.000}}
\multiput(85.000,45.000)(0.000,0.050){400}{\line(1,0){30.000}}
\multiput(125.000,45.000)(-0.050,0.100){320}{\line(-1,0){20.000}}
\color{bT}
\multiput(65.000,65.000)(0.050,0.100){200}{\line(1,0){10.000}}
\multiput(80.000,95.000)(0.050,-0.100){200}{\line(-1,-2){5.000}}
\multiput(95.000,65.000)(-0.050,0.100){100}{\line(-1,0){20.000}}
\color{bL}
\multiput(55.000,45.000)(0.050,0.100){200}{\line(1,0){20.000}}
\multiput(65.000,45.000)(0.000,0.100){200}{\line(1,0){20.000}}
\color{fT}
%\put(85.000,125.000){\circle*{1.000}}  % tip
\put(90.000,95.000){\makebox(0.000,0.000){$t$}}
\put(55.000,65.000){\line(1,0){30.000}}
\put(85.000,45.000){\line(0,1){20.000}}
\put(85.000,45.000){\line(1,0){40.000}}
\put(55.000,65.000){\line(1,2){30.000}}
\put(85.000,125.000){\line(1,-2){40.000}}
% matching subst
\color{fSbs}
\put(79.750,54.500){\makebox(0.000,0.000){$\sigma$}}
\put(65.250,64.500){\line(-1,-2){9.500}}
\put(55.750,45.500){\line(1,0){29.000}}

%%%%%%%%%%%%%%%% redex overlap %%%%%%%%%%%%%%%%%%%%%%%%%
\color{bS}
\multiput(205.000,115.000)(0.050,0.100){400}{\line(1,0){10.000}}
\multiput(235.000,175.000)(0.050,-0.100){480}{\line(-1,-2){10.000}}
\multiput(235.000,95.000)(0.000,0.050){400}{\line(1,0){30.000}}
\multiput(275.000,95.000)(-0.050,0.100){320}{\line(-1,0){20.000}}
\color{bSL}
\multiput(215.000,115.000)(0.050,0.100){200}{\line(1,0){10.000}}
\multiput(230.000,145.000)(0.050,-0.100){200}{\line(-1,-2){5.000}}
\multiput(245.000,115.000)(-0.050,0.100){100}{\line(-1,0){20.000}}
\color{bL}
\multiput(205.000,95.000)(0.050,0.100){200}{\line(1,0){20.000}}
\multiput(215.000,95.000)(0.000,0.100){200}{\line(1,0){20.000}}
% s
\color{fS}
%\put(235.000,175.000){\circle*{1.000}} % tip
\put(240.000,145.000){\makebox(0.000,0.000){$s$}}
\put(205.000,115.000){\line(1,0){30.000}}
\put(235.000,95.000){\line(0,1){20.000}}
\put(235.000,95.000){\line(1,0){40.000}}
\put(205.000,115.000){\line(1,2){30.000}}
\put(235.000,175.000){\line(1,-2){40.000}}
% l
\color{fL}
%\put(230.000,145.000){\circle*{1.000}} % tip
\put(230.000,125.000){\makebox(0.000,0.000){$l$}}
\put(205.000,95.000){\line(1,0){29.500}}
\put(205.000,95.000){\line(1,2){25.000}}
\put(230.000,145.000){\line(1,-2){14.750}}
\put(234.500,95.000){\line(0,1){20.500}}
\put(234.500,115.500){\line(1,0){10.250}}
% matching subst
\color{fSbs}
\put(229.750,104.500){\makebox(0.000,0.000){$\sigma$}}
\put(239.750,104.500){\makebox(0.000,0.000){$\sigma$}}
\put(215.250,114.500){\line(1,0){30.000}}
\put(215.250,114.500){\line(-1,-2){9.500}}
\put(245.250,114.500){\line(1,-2){9.500}}
\put(205.750,95.500){\line(1,0){49.000}}
% path
\thinlines
\color{fPath}
\put(233.000,155.000){\makebox(0.000,0.000){$p$}}
\put(235.000,175.000){\line(-1,-6){2.000}}
\put(233.000,163.000){\line(2,-5){4.000}}
\put(237.000,153.000){\line(-5,-3){5.000}}
\put(232.000,150.000){\line(-2,-5){2.000}}
\thicklines

%%%%%%%%%%%%%%%% rewrite result l->r %%%%%%%%%%%%%%%%%%%
\color{bS}
\multiput(355.000,65.000)(0.050,0.100){400}{\line(1,0){10.000}}
\multiput(385.000,125.000)(0.050,-0.100){480}{\line(-1,-2){10.000}}
\multiput(385.000,45.000)(0.000,0.050){400}{\line(1,0){30.000}}
\multiput(425.000,45.000)(-0.050,0.100){320}{\line(-1,0){20.000}}
\color{bSR}
\multiput(365.000,65.000)(0.050,0.100){200}{\line(1,0){10.000}}
\multiput(380.000,95.000)(0.050,-0.100){200}{\line(-1,-2){5.000}}
\multiput(395.000,65.000)(-0.050,0.100){100}{\line(-1,0){20.000}}
\color{bR}
\multiput(355.000,45.000)(0.050,0.100){200}{\line(1,0){20.000}}
\multiput(365.000,45.000)(0.000,0.100){200}{\line(1,0){20.000}}
% s
\color{fS}
%\put(385.000,125.000){\circle*{1.000}} % tip
\put(390.000,95.000){\makebox(0.000,0.000){$s$}}
\put(355.000,65.000){\line(1,0){30.000}}
\put(385.000,45.000){\line(0,1){20.000}}
\put(385.000,45.000){\line(1,0){40.000}}
\put(355.000,65.000){\line(1,2){30.000}}
\put(385.000,125.000){\line(1,-2){40.000}}
% r
\color{fL}
%\put(380.000,95.000){\circle*{1.000}} % tip
\put(380.000,75.000){\makebox(0.000,0.000){$r$}}
\put(355.000,45.000){\line(1,0){29.500}}
\put(355.000,45.000){\line(1,2){25.000}}
\put(380.000,95.000){\line(1,-2){14.750}}
\put(384.500,45.000){\line(0,1){20.500}}
\put(384.500,65.500){\line(1,0){10.250}}
% matching subst
\color{fSbs}
\put(390.500,54.500){\makebox(0.000,0.000){$\sigma$}}
\put(385.250,64.500){\line(1,0){10.000}}
%\put(365.250,64.500){\line(-1,-2){9.500}}
\put(395.250,64.500){\line(1,-2){9.500}}
\put(385.250,45.500){\line(1,0){19.500}}

% path
\thinlines
\color{fPath}
\put(383.000,105.000){\makebox(0.000,0.000){$p$}}
\put(385.000,125.000){\line(-1,-6){2.000}}
\put(383.000,113.000){\line(2,-5){4.000}}
\put(387.000,103.000){\line(-5,-3){5.000}}
\put(382.000,100.000){\line(-2,-5){2.000}}
\thicklines

\end{picture}
\end{document}

רישיון

אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:

הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.

הנכם רשאים:

לשתף – להעתיק, להפיץ ולהעביר את העבודה
לערבב בין עבודות – להתאים את העבודה

תחת התנאים הבאים:

ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

	תאריך/שעה	תמונה ממוזערת	ממדים	משתמש	הערה
נוכחית	14:21, 8 בנובמבר 2019		‪1,800 × 2,685‬ (94 ק"ב)	Jochen Burghardt	rm picture delimiter marks
	14:18, 8 בנובמבר 2019	אין תמונה ממוזערת	‪0 × 0‬ (95 ק"ב)	Jochen Burghardt	stronger colors; larger distance rules / applications
	23:14, 2 בינואר 2014	אין תמונה ממוזערת	‪0 × 0‬ (80 ק"ב)	Jochen Burghardt	cropped
	23:01, 2 בינואר 2014	אין תמונה ממוזערת	‪0 × 0‬ (81 ק"ב)	Jochen Burghardt	decent bg colors
	23:00, 2 בינואר 2014	אין תמונה ממוזערת	‪0 × 0‬ (80 ק"ב)	Jochen Burghardt	User created page with UploadWizard

שימוש בקובץ

אין בוויקיפדיה דפים המשתמשים בקובץ זה.

מטא־נתונים

קובץ זה מכיל מידע נוסף, שכנראה הגיע ממצלמה דיגיטלית או מסורק שבהם הקובץ נוצר או עבר דיגיטציה.

אם הקובץ שונה ממצבו הראשוני, כמה מהנתונים להלן עלולים שלא לשקף באופן מלא את הקובץ הנוכחי.

תוכנה בשימוש	TeX
תוכנת המרה	pdfTeX-1.40.18
מוצפן	no
גודל דף	1289.76 x 864.567 pts
הגרסה של תסדיר PDF	1.5

קובץ:CritPair.pdf

תקציר

רישיון

כיתובים

פריטים שמוצגים בקובץ הזה

מוצג

יוצר

ערך כלשהו ללא פריט ויקינתונים

מצב זכויות היוצרים

מוגבל בזכויות יוצרים

רישיון

רישיון Creative Commons ייחוס-שיתוף זהה 3.0 לא מותאם

תאריך הקמה או יצירה

2 בינואר 2014

מקור הקובץ

יצירה מקורית של מעלה היצירה

סוג מדיה

application/pdf

checksum ^אנגלית

6fc7e9f6eee32582487afdcccd24e9036ce71405

נפח נתונים

96,716 בית

גובה

1,800 פיקסל

רוחב

2,685 פיקסל

מספר עמודים

1

היסטוריית הקובץ

שימוש בקובץ

מטא־נתונים

תקציר

רישיון

כיתובים

פריטים שמוצגים בקובץ הזה

ערך כלשהו ללא פריט ויקינתונים

2 בינואר 2014

application/pdf

checksum אנגלית

6fc7e9f6eee32582487afdcccd24e9036ce71405

96,716 בית

1,800 פיקסל

2,685 פיקסל

1

היסטוריית הקובץ

שימוש בקובץ

מטא־נתונים

checksum ^אנגלית