File:Example term for position, path, depth, match.pdf

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file(962 × 561 pixels, file size: 21 KB, MIME type: application/pdf)

Captions

Add a one-line explanation of what this file represents

Captions

Summary[edit]

Description
English: Tree structure of example term a*((a+1)*(a+2)) / 1*(2*3), with positions indicated in red, depth levels in green, and a pattern term x*(y*z) matching at position 1 in blue, the matching substitution { xa, ya+1, za+2 } being obvious.
Date
Source Own work
Author Jochen Burghardt
Other versions File:Example term for position, path, depth, match svg.svg
LaTeX source code
 \documentclass[12pt]{article}
 \usepackage[pdftex]{color}
 \usepackage[paperwidth=163mm,paperheight=95mm]{geometry}
 \setlength{\topmargin}{-36mm}
 \setlength{\textwidth}{30cm}
 \setlength{\textheight}{26cm}
 \setlength{\evensidemargin}{-2.7cm}
 \setlength{\oddsidemargin}{-2.5cm}
 \setlength{\parindent}{0cm}
 \setlength{\parskip}{1ex}
 \setlength{\unitlength}{1cm}
 \sloppy

 \definecolor{cPos}     {rgb}{0.99,0.00,0.00}
 \definecolor{cDp}      {rgb}{0.00,0.50,0.00}
 \definecolor{cPat}     {rgb}{0.50,0.50,0.99}

 \begin{document}

 \begin{picture}(15.5,9.0)(-1,0)

 %!2}textree g|tc
 %\tree{$/$}
 %      {\tree{$*$}
 %              {\tree{$a$}
 %              }
 %              {\tree{$*$}
 %                      {\tree{$+$}
 %                              {\tree{$a$}
 %                              }
 %                              {\tree{$1$}
 %                              }
 %                      }
 %                      {\tree{$+$}
 %                              {\tree{$a$}
 %                              }
 %                              {\tree{$2$}
 %                              }
 %                      }
 %              }
 %      }
 %      {\tree{$*$}
 %              {\tree{$1$}
 %              }
 %              {\tree{$*$}
 %                      {\tree{$$2}
 %                      }
 %                      {\tree{$3$}
 %                      }
 %              }
 %      }

 \put(1.000,4.600){\makebox(0.000,0.000)[t]{$a$}}%aa
 \textcolor{cPos}{\put(1.000,4.700){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 11$}}}%aa
 \put(3.000,0.200){\makebox(0.000,0.000)[t]{$a$}}%abaa
 \textcolor{cPos}{\put(3.000,0.300){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 1211$}}}%abaa
 \put(5.000,0.200){\makebox(0.000,0.000)[t]{$1$}}%abab
 \textcolor{cPos}{\put(5.000,0.300){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 1212$}}}%abab
 \put(4.000,2.400){\makebox(0.000,0.000)[t]{$+$}}%aba
 \textcolor{cPos}{\put(4.000,2.500){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 121$}}}%aba
 \put(4.000,2.000){\line(-3,-5){1.000}}%aba-a
 \put(4.000,2.000){\line(3,-5){1.000}}%aba-b
 \put(7.000,0.200){\makebox(0.000,0.000)[t]{$a$}}%abba
 \textcolor{cPos}{\put(7.000,0.300){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 1221$}}}%abba
 \put(9.000,0.200){\makebox(0.000,0.000)[t]{$2$}}%abbb
 \textcolor{cPos}{\put(9.000,0.300){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 1222$}}}%abbb
 \put(8.000,2.400){\makebox(0.000,0.000)[t]{$+$}}%abb
 \textcolor{cPos}{\put(8.000,2.500){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 122$}}}%abb
 \put(8.000,2.000){\line(-3,-5){1.000}}%abb-a
 \put(8.000,2.000){\line(3,-5){1.000}}%abb-b
 \put(6.000,4.600){\makebox(0.000,0.000)[t]{$*$}}%ab
 \textcolor{cPos}{\put(6.000,4.700){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 12$}}}%ab
 \put(6.000,4.200){\line(-5,-4){2.000}}%ab-a
 \put(6.000,4.200){\line(5,-4){2.000}}%ab-b
 \put(3.500,6.800){\makebox(0.000,0.000)[t]{$*$}}%a
 \textcolor{cPos}{\put(3.500,6.900){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 1$}}}%a
 \put(3.500,6.400){\line(-3,-2){2.500}}%a-a
 \put(3.500,6.400){\line(3,-2){2.500}}%a-b
 \put(11.000,4.600){\makebox(0.000,0.000)[t]{$1$}}%ba
 \textcolor{cPos}{\put(11.000,4.700){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 21$}}}%ba
 \put(13.000,2.400){\makebox(0.000,0.000)[t]{$2$}}%bba
 \textcolor{cPos}{\put(13.000,2.500){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 221$}}}%bba
 \put(15.000,2.400){\makebox(0.000,0.000)[t]{$3$}}%bbb
 \textcolor{cPos}{\put(15.000,2.500){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 222$}}}%bbb
 \put(14.000,4.600){\makebox(0.000,0.000)[t]{$*$}}%bb
 \textcolor{cPos}{\put(14.000,4.700){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 22$}}}%bb
 \put(14.000,4.200){\line(-3,-5){1.000}}%bb-a
 \put(14.000,4.200){\line(3,-5){1.000}}%bb-b
 \put(12.500,6.800){\makebox(0.000,0.000)[t]{$*$}}%b
 \textcolor{cPos}{\put(12.500,6.900){\makebox(0.000,0.000)[b]{$\scriptscriptstyle 2$}}}%b
 \put(12.500,6.400){\line(-1,-1){1.500}}%b-a
 \put(12.500,6.400){\line(1,-1){1.500}}%b-b
 \put(8.000,9.000){\makebox(0.000,0.000)[t]{$/$}}%
 \textcolor{cPos}{\put(8.000,9.100){\makebox(0.000,0.000)[b]{$\scriptscriptstyle \varepsilon$}}}%
 \put(8.000,8.600){\line(-3,-1){4.500}}%-a
 \put(8.000,8.600){\line(3,-1){4.500}}%

 \textcolor{cDp}{\put(-1,9.0){\makebox(0,0)[tl]{$0$}}}%
 \textcolor{cDp}{\put(-1,6.8){\makebox(0,0)[tl]{$1$}}}%
 \textcolor{cDp}{\put(-1,4.6){\makebox(0,0)[tl]{$2$}}}%
 \textcolor{cDp}{\put(-1,2.4){\makebox(0,0)[tl]{$3$}}}%
 \textcolor{cDp}{\put(-1,0.2){\makebox(0,0)[tl]{$4$}}}%

 \thicklines
 \textcolor{cPat}{\put(0.500,4.600){\makebox(0.000,0.000)[t]{$x$}}}%aa
 \textcolor{cPat}{\put(3.500,2.400){\makebox(0.000,0.000)[t]{$y$}}}%aba
 \textcolor{cPat}{\put(7.500,2.400){\makebox(0.000,0.000)[t]{$z$}}}%abb
 \textcolor{cPat}{\put(5.500,4.600){\makebox(0.000,0.000)[t]{$*$}}}%ab
 \textcolor{cPat}{\put(5.500,4.200){\line(-5,-4){2.000}}}%ab-a
 \textcolor{cPat}{\put(5.500,4.200){\line(5,-4){2.000}}}%ab-b
 \textcolor{cPat}{\put(3.000,6.800){\makebox(0.000,0.000)[t]{$*$}}}%a
 \textcolor{cPat}{\put(3.000,6.400){\line(-3,-2){2.500}}}%a-a
 \textcolor{cPat}{\put(3.000,6.400){\line(3,-2){2.500}}}%a-b

 \end{picture}
 \end{document}

Licensing[edit]

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons

attribution share alike

This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – 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.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:11, 7 November 2013Thumbnail for version as of 18:11, 7 November 2013962 × 561 (21 KB)Jochen Burghardt (talk | contribs)User created page with UploadWizard

There are no pages that use this file.

Metadata

Structured data

Items portrayed in this file

no value