File:Example term for position, path, depth, match.pdf
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 | |
| 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.