tails function examples for Thue, Grasp

2 files changed, 265 insertions, 0 deletions

diff --git a/src/Grasp/Examples/tails.grasp b/src/Grasp/Examples/tails.grasp
new file mode 100644
index 0000000..5758d91
--- /dev/null
+++ b/src/Grasp/Examples/tails.grasp
@@ -0,0 +1,40 @@
+digraph {
+	1 [label="puts"]
+	2 [label="grasp:main"]
+	3 [label="pop"]
+	4 [label="del"]
+	5 [label="new"]
+	6 [label="next"]
+
+	1 -> 2 [label="name"]
+	1 -> 3 [label="next"]
+	3 -> 4 [label="next"]
+	4 -> 5 [label="next"]
+	1 -> 7 [label="in"]
+	3 -> 7 [label="stack"]
+	4 -> 5 [label="tail"]
+	4 -> 6 [label="label"]
+	5 -> 5 [label="tail"]
+	5 -> 1 [label="head"]
+	5 -> 6 [label="label"]
+	5 -> 7 [label="cond"]
+
+	7 [label="67"]
+	8 [label="97"]
+	9 [label="110"]
+	10 [label="98"]
+	11 [label="101"]
+	12 [label="114"]
+	13 [label="114"]
+	14 [label="97"]
+	15 [label="0"]
+
+	7 -> 8 [label="next"]
+	8 -> 9 [label="next"]
+	9 -> 10 [label="next"]
+	10 -> 11 [label="next"]
+	11 -> 12 [label="next"]
+	12 -> 13 [label="next"]
+	13 -> 14 [label="next"]
+	14 -> 15 [label="next"]
+}
\ No newline at end of file
diff --git a/src/Thue/tails.thue b/src/Thue/tails.thue
new file mode 100644
index 0000000..1fe2eaf
--- /dev/null
+++ b/src/Thue/tails.thue
@@ -0,0 +1,225 @@
+
+&::=~Please enter an alphabetical string: 
+**::=:::
+
++a::=_aa+
++b::=_bb+
++c::=_cc+
++d::=_dd+
++e::=_ee+
++f::=_ff+
++g::=_gg+
++h::=_hh+
++i::=_ii+
++j::=_jj+
++k::=_kk+
++l::=_ll+
++m::=_mm+
++n::=_nn+
++o::=_oo+
++p::=_pp+
++q::=_qq+
++r::=_rr+
++s::=_ss+
++t::=_tt+
++u::=_uu+
++v::=_vv+
++w::=_ww+
++x::=_xx+
++y::=_yy+
++z::=_zz+
+
++A::=_AA+
++B::=_BB+
++C::=_CC+
++D::=_DD+
++E::=_EE+
++F::=_FF+
++G::=_GG+
++H::=_HH+
++I::=_II+
++J::=_JJ+
++K::=_KK+
++L::=_LL+
++M::=_MM+
++N::=_NN+
++O::=_OO+
++P::=_PP+
++Q::=_QQ+
++R::=_RR+
++S::=_SS+
++T::=_TT+
++U::=_UU+
++V::=_VV+
++W::=_WW+
++X::=_XX+
++Y::=_YY+
++Z::=_ZZ+
+
+_a::=~a
+_b::=~b
+_c::=~c
+_d::=~d
+_e::=~e
+_f::=~f
+_g::=~g
+_h::=~h
+_i::=~i
+_j::=~j
+_k::=~k
+_l::=~l
+_m::=~m
+_n::=~n
+_o::=~o
+_p::=~p
+_q::=~q
+_r::=~r
+_s::=~s
+_t::=~t
+_u::=~u
+_v::=~v
+_w::=~w
+_x::=~x
+_y::=~y
+_z::=~z
+
+_A::=~A
+_B::=~B
+_C::=~C
+_D::=~D
+_E::=~E
+_F::=~F
+_G::=~G
+_H::=~H
+_I::=~I
+_J::=~J
+_K::=~K
+_L::=~L
+_M::=~M
+_N::=~N
+_O::=~O
+_P::=~P
+_Q::=~Q
+_R::=~R
+_S::=~S
+_T::=~T
+_U::=~U
+_V::=~V
+_W::=~W
+_X::=~X
+_Y::=~Y
+_Z::=~Z
+
++::=_//
+_/::=~
+
+a/::=/a
+b/::=/b
+c/::=/c
+d/::=/d
+e/::=/e
+f/::=/f
+g/::=/g
+h/::=/h
+i/::=/i
+j/::=/j
+k/::=/k
+l/::=/l
+m/::=/m
+n/::=/n
+o/::=/o
+p/::=/p
+q/::=/q
+r/::=/r
+s/::=/s
+t/::=/t
+u/::=/u
+v/::=/v
+w/::=/w
+x/::=/x
+y/::=/y
+z/::=/z
+
+A/::=/A
+B/::=/B
+C/::=/C
+D/::=/D
+E/::=/E
+F/::=/F
+G/::=/G
+H/::=/H
+I/::=/I
+J/::=/J
+K/::=/K
+L/::=/L
+M/::=/M
+N/::=/N
+O/::=/O
+P/::=/P
+Q/::=/Q
+R/::=/R
+S/::=/S
+T/::=/T
+U/::=/U
+V/::=/V
+W/::=/W
+X/::=/X
+Y/::=/Y
+Z/::=/Z
+
+/a::=+
+/b::=+
+/c::=+
+/d::=+
+/e::=+
+/f::=+
+/g::=+
+/h::=+
+/i::=+
+/j::=+
+/k::=+
+/l::=+
+/m::=+
+/n::=+
+/o::=+
+/p::=+
+/q::=+
+/r::=+
+/s::=+
+/t::=+
+/u::=+
+/v::=+
+/w::=+
+/x::=+
+/y::=+
+/z::=+
+
+/A::=+
+/B::=+
+/C::=+
+/D::=+
+/E::=+
+/F::=+
+/G::=+
+/H::=+
+/I::=+
+/J::=+
+/K::=+
+/L::=+
+/M::=+
+/N::=+
+/O::=+
+/P::=+
+/Q::=+
+/R::=+
+/S::=+
+/T::=+
+/U::=+
+/V::=+
+/W::=+
+/X::=+
+/Y::=+
+/Z::=+
+
+::=
++*&*
\ No newline at end of file