diff options
-rw-r--r-- | src/Grasp/Examples/tails.grasp | 40 | ||||
-rw-r--r-- | src/Thue/tails.thue | 225 |
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 |