File:Example term for position, path, depth, match.pdf
Size of this JPG preview of this PDF file: 800 × 466 pixels. Other resolutions: 320 × 186 pixels | 640 × 373 pixels | 962 × 560 pixels.
Original file (962 × 560 pixels, file size: 21 KB, MIME type: application/pdf)
Captions
Captions
Add a one-line explanation of what this file represents
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 { x↦ a, y ↦ a+1, z ↦ a+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:
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/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 18:11, 7 November 2013 |  | 962 × 560 (21 KB) | Jochen Burghardt (talk | contribs) | User created page with UploadWizard |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.