diff options
| -rw-r--r-- | cc/n.lyx | 2 | ||||
| -rw-r--r-- | cc/spec.tex | 11 | ||||
| -rw-r--r-- | ts/n2.lyx | 10 |
3 files changed, 13 insertions, 10 deletions
@@ -6,7 +6,7 @@ \origin unavailable \textclass book \begin_preamble -\usepackage{tikz} +\input{spec} \end_preamble \use_default_options true \maintain_unincluded_children false diff --git a/cc/spec.tex b/cc/spec.tex new file mode 100644 index 0000000..a320b4f --- /dev/null +++ b/cc/spec.tex @@ -0,0 +1,11 @@ +\usepackage{tikz} +\def\program#1#2{-- ++(1.5,0) -- ++(0,1) arc(-90:90:0.5) -- ++(-1.5,0) arc(90:270:0.5) -- ++(0,-1) ++(0.75,0.5) node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)} +\def\translator#1#2#3{-- ++(1.5,0) -- ++(0,1) -- ++(0.7,0) -- ++(0,1) -- ++(-2.9,0) -- ++(0,-1) -- ++(0.7,0) -- ++(0,-1) ++(0,1.5) node{#1} ++(0.75,0) node{$\longrightarrow$} ++(0.75,0) node{#2} ++(-0.75,-1) node{#3} ++(-0.75,-0.5)} +\def\machine#1{-- ++(0.75,-0.5) -- ++(0.75,0.5) -- ++(0,1) -- ++(-1.5,0) -- ++(0,-1) ++(0.75,0.5) node{#1} ++(-0.75,-0.5)} +\def\run#1{++(0,1) #1 ++(0,-1)} +\def\runover#1{++(0,-1) \machine{#1} ++(0,1)} +\def\source#1{++(-2.2,1) #1 ++(2.2,-1)} +\def\object#1{++(2.2,1) #1 ++(-2.2,-1)} +\def\interpreter#1#2{-- ++(1.5,0) -- ++(0,2) -- ++(-1.5,0) -- ++(0,-2) ++(0.75,0.5) node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)} +\def\interpret#1{++(0,2) #1 ++(0,-2)} +\def\nexttranslator#1{++(4.4,0) #1 ++(-4.4,0)} @@ -78,15 +78,7 @@ \begin_body \begin_layout Standard -Una -\series bold -propiedad -\series default - de un espacio topológico es -\series bold -topológica -\series default - es invariante por homeomorfismos, y es +Una propiedad de un espacio topológico es \series bold hereditaria \series default |