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

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

## Summary

 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 { x↦ a, y ↦ a+1, z ↦ a+2 } being obvious. Date 15 June 2013 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

I, the copyright holder of this work, hereby publish it under the following license:
 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 2013962 × 561 (21 KB)Jochen Burghardt (talk | contribs)User created page with UploadWizard

There are no pages that use this file.