TRAC, A Procedure-Describing Language for the Reactive Typewriter

8/14/2019 TRAC, A Procedure-Describing Language for the Reactive Typewriter

1/10

V_EK! E Xrlk`fpr`"F`{krgognm Aenmpem` ilr vd` _èkvgy`

Vwx`}rgv`r

ow Keaygn N. Bll`r{ $5790'Xex`r xr`{`nv`f ev vd` EKB Xrlmrebbgnm Aenmpem`{ enf Xrembevgk{ Klni`r`nk`! [en Fgbe{!

Keagilrnge! Epmp{v 5790.

Eo{vrekv

E f`{krgxvgln li vd` V_EK $V`tv _`kclngnm Enf Klbxgagnm' aenmpem` enf xrlk`{{gnm eamlrgvdb g{

mgy`n. Vd` V_EK aenmpem` }e{ f`yàlx`f e{ vd` oe{g{ li e {liv}er` xekcem` ilr vd` rèkvgy`

vwx`}rgv`r. Gn vd` V_EK aenmpem`! ln` ken }rgv` xrlk`fpr`{ ilr ekk`xvgnm! nebgnm enf {vlrgnm enw

kderekv`r {vrgnm irlb vd` vwx`}rgv`r3 ilr blfgiwgnm enw {vrgnm gn enw }ew3 ilr vrèvgnm enw {vrgnm ev enw

vgb` e{ en `t`kpveoa` xrlk`fpr`! lr e{ e neb`! lr e{ v`tv3 enf ilr xrgnvgnm lpv enw {vrgnm. Vd` V_EK

aenmpem` g{ oe{`f pxln en `tv`n{gln enf m`n`reagzevgln vl kderekv`r {vrgnm{ li vd` xrlmrebbgnm

klnk`xv li vd` /bekrl./ Vdrlpmd vd` eogagvw li V_EK vl ekk`xv enf {vlr` fìgngvgln{ li xrlk`fpr`{! vd`

kexeogagvg`{ li vd` aenmpem` ken o` gnfìgngvàw `tv`nf`f. V_EK ken denfa` gv`revgy` enf r`kpr{gy`

xrlk`fpr`{! enf ken fèa }gvd kderekv`r {vrgnm{! gnv`m`r{ enf Ollaèn y`kvlr yergeoa`{.

Vd` xr`{`nv }lrc }e{ {pxxlrv`f gn xerv ow vd` ilaal}gnm mrenv{ enf klnvrekv{: Efyenk`f _`{èrkd

Xrlj`kv{ Em`nkw klnvrekv [F"?70! Gnilrbevgln [kg`nk`{ Orenkd li vd` Egr Ilrk` Liigk` li [kg`nvgigk

_`{èrkd klnvrekv{ EI"EIL[_ ;=9! ;== enf 695"96! enf Fgyg{gln li M`n`rea B`fgkgn`! Nevglnea

Gn{vgvpv`{ li Dèavd! P.[. Xpoagk Dèavd [`rygk` mrenv MB 58659.

Klnv`nv{

GnvrlfpkvglnV_EK [wnvet

@tebxa`{ li Ipnkvgln{

V_EK Eamlrgvdb

Vd` V_EK Ipnkvgln{

Gnxpv"Lpvxpv

Fìgn` enf Keaa Ipnkvgln{

Ergvdb`vgk Ipnkvgln{

Ollaèn Ipnkvgln{

F`kg{gln Ipnkvgln{

@tv`rnea [vlrem` Benem`b`nv Ipnkvgln{

Fgemnl{vgk Ipnkvgln{@tebxa`{ li V_EK Xrlk`fpr`{

GNV_LFPKVGLN

Vd` V_EK $V`tv _`kclngnm Enf Klbxgagnm' aenmpem` {w{v`b g{ e p{`r aenmpem` ilr klnvrla li vd`

klbxpv`r enf {vlrem` xerv{ li e rèkvgy` vwx`}rgv`r {w{v`b. E rèkvgy` vwx`}rgv`r g{ pnf`r{vllf vl o`

ln` li e npbo`r li và`"vwx`}rgv`r{ {gbpaven`lp{aw klnn`kv`f lnagn` ow }gr` vl e b`blrw enf

klbxpv`r klbxa`t }dgkd x`rbgv{ rèa"vgb`! bpavgxa` ekk`{{ $vgb`"{der`f' lx`revgln. Gn vd` xdgal{lxdw

li vd` rèkvgy` vwx`}rgv`r! vd` ben ev vd` vwx`}rgv`r c`wolerf g{ vd` ilkea xlgnv li vd` {w{v`b. Vd`

klnn`kv`f {vlrem` enf klbxpv`r f`ygk`{ er` kln{gf`r`f vl o` x`rgxd`rea {`rygk` pngv{ vl vd` rèkvgy`

vwx`}rgv`r.


2/10

Vd` f`{gmn mlea{ ilr vd` V_EK aenmpem` enf gv{ vren{aevgnm {w{v`b gnkapf`f: $5' dgmd kexeogagvw gn

fèagnm }gvd oekc"enf"ilrvd klbbpngkevgln o`v}``n e ben ev e c`wolerf enf dg{ }lrc ln vd`

bekdgn`! {l e{ vl x`rbgv dgb vl bec` gn{`rvgln{ enf gnv`ry`nvgln{ fprgnm vd` rpnngnm li dg{ }lrc3 $?'

betgbpb y`r{evgagvw gn vd` fìgngvgln enf x`rilrbenk` li enw }àa"fìgn`f xrlk`fpr` ln v`tv3 $;'

eogagvw vl fìgn`! {vlr` enf {po{ùp`nvaw p{` {pkd xrlk`fpr`{ vl `tv`nf vd` kexeogagvg`{ li vd` aenmpem`3enf igneaaw $6' betgbpb kaergvw gn vd` aenmpem` gv{ài {l vdev gv klpaf o` è{gaw vepmdv vl lvd`r{. E

fg{kp{{gln li vd`{` f`{gmn mlea{! enf li vd` f`{gmn f`kg{gln{ }dgkd }`nv gnvl vd` aenmpem`! bew o`

ilpnf gn e klbxengln xex`r S5R. Vd` V_EK aenmpem` de{ nl} o``n xrlmrebb`f ilr {`y`rea

klbxpv`r{. Gv de{ {dl}n e dgmd f`mr`` li {veogagvw fprgnm vd` xe{v wèr li `tx`rgb`nvea p{`.

Vd` xr`{`nv V_EK aenmpem` g{ bekdgn`"gnf`x`nf`nv enf g{ kal{`f }gvd r`{x`kv vl lx`revgln{

x`rilrb`f pxln {`v{ li kderekv`r{ irlb e vwx`}rgv`r c`wolerf. Vd` xr`{`nv aenmpem` {dlpaf o`

xr`kg{àw f`{gmnev`f e{ /V_EK 96./ Aev`r y`r{gln{ li V_EK er` `tx`kv`f vl dey` vd` eogagvw vl fèa

}gvd {vrgnm{ li bekdgn`"klf`f }lrf{ enf }gvd {porlpvgn`{! enf }gaa vdp{ o` {ài"gbxa`b`nvgnm.

Vd` V_EK aenmpem` }e{ f`yàlx`f eiv`r e {vpfw li e npbo`r li xrlk`fpr`"f`{krgognm aenmpem`{! opv

lnaw eiv`r gv }e{ klnkapf`f vdev èkd li vd`{` def ièvpr`{ }dgkd }`r` oàg`y`f vl o` pn{pgveoa` lr

pnfpaw kln{vregngnm ilr vd` xprxl{`{ klnv`bxaev`f ow V_EK. Gn xervgkpaer! vd` aenmpem`{ GXA"Y!

AG[X enf KLBGV }`r` kerìpaaw `tebgn`f. Gn orgì! GXA"Y exxèr`f vl o` vll kal{àw lrg`nv`f vl

klbxpv`r xrlmrebbgnm. AGX[ def {`y`r` r`{vrgkvgln{ fp` vl gv{ /evlbgk/ {wbola{! k`rvegn klnk`xvpea

klnip{gln{ enf vll mrèv en lrg`nvevgln vl bevd`bevgkea almgk. KLBGV! }dga` {pgveoa` gn benw

r`{x`kv{! def vd` rgmgfgvw e{{lkgev`f }gvd e klbxga`r. ]d`n }lrc }e{ o`mpn ln V_EK $5798' nln`

exxèr`f vl dey` vd` kexeogagvg`{ f`{gr`f! vdlpmd vd`w }`r` e fìgngv` {lprk` li gn{xgrevgln.

Vd` xrgb` {vgbpap{ vl vd` xr`{`nv V_EK aenmpem` keb` irlb v}l gbxlrvenv pnxpoag{d`f xex`r{ ow

@e{v}llf enf BkGarlw S;R enf BkGarlw S6R. Vd` igr{v xex`r f`{krgo`f e bekrl e{{`boaw {w{v`b deygnm

rpn"vgb` fìgngvgln"becgnm enf f`kg{gln"becgnm kexeogagvg`{. Vd` {`klnf xex`r {dl}`f dl} vdg{

{w{v`b klpaf x`rilrb y`rw m`n`rea bengxpaevgln{ ln {wbola {vrgnm{. V_EK g{ e rìgn`b`nv enf`tv`n{gln li vd` bekrl exxrlekd li vd`{` xex`r{. Vd`rìlr` gv ken o` {egf vdev vd` xr`{`nv V_EK

{w{v`b kln{g{v{ li e bekdgn`"gnf`x`nf`nv aenmpem` vlm`vd`r }gvd e m`n`reagz`f bekrl v`tv xrlk`{{lr

}dgkd rpn{ gnv`rxr`vgyàw vl xrlygf` y`r{evga` gnv`rekvgln kexeogagvg`{ ev rpn vgb`. E r`k`nv!

gnf`x`nf`nvaw f`yàlx`f {w{v`b ow [vrekd`w S0R de{ e npbo`r li r`berceoa` {gbgaergvg`{ vl V_EK.

V_EK [WNVET

E V_EK {vrgnm bew klnvegn e {po{vrgnm `nkal{`f ow e bevkdgnm xegr li xer`nvd`{`{! {pkd e{ $'

}d`r` vd` flv{ gnfgkev` e {vrgnm. Vd` bevkdgnm xer`nvd`{`{ gnfgkev` vd` {klx` li {lb` xervgkpaer

ekvgln. Vd`r` er` vdr`` ke{`{! `xgvlbgz`f ow +$'!++$' enf $'. Vd` igr{v v}l ilrbev{

gnfgkev` vd` xr`{`nk` li e V_EK /xrgbgvgy` ipnkvgln./ Vd` ilrbev+$'f`nlv`{ en /ekvgyìpnkvgln!/ }dga` vd` ilrbev+ +$' f`nlv`{ e /n`pvrea ipnkvgln./ Vdg{ fg{vgnkvgln g{ kaergig`f

oàl}. Vd` {vrgnm gnv`rglr vl `gvd`r cgnf li ipnkvgln g{ m`n`reaaw fgygf`f gnvl {po{vrgnm{ ow klbbe{ e{

gn +$ ! ! '}d`r` vd`{` {po{vrgnm{ kln{vgvpv` vd` ermpb`nv{ li vd` ipnkvgln. Xer`nvd`{`{ gn vd`

ilrbev$' dey` rlpmdaw vd` {eb` rla` e{ xegr`f uplvevgln berc{! enf! gn xervgkpaer! }dev`y`r

{vrgnm g{ gn{gf` vd` xegr`f xer`nvd`{`{ g{ xrlv`kv`f irlb ipnkvglnea `yeapevgln.

V_EK {vrgnm{ er` fèav }gvd ow vd` V_EK xrlk`{{lr ekklrfgnm vl e {kenngnm eamlrgvdb }dgkd }lrc{

irlb aìv vl rgmdv enf x`rilrb{ vd` `yeapevgln li n`{v`f `txr`{{gln{ irlb gn{gf` lpv}erf. Gn vd`

`txr`{{gln


3/10

+$ ! +$ ! ! +$ ' ! + +$ ' ' '

6 ; 5 ?

vd` ipnkvgln{ er` `yeapev`f gn vd` lrf`r gnfgkev`f. E{ èkd ipnkvgln g{ `yeapev`f! gv g{ r`xaek`f gn vd`V_EK {vrgnm ow vd` {vrgnm $xl{{goaw npaa' }dgkd g{ gv{ yeap`. Vd` `yeapevgln li en ekvgy` ipnkvgln g{

ilaal}`f fgr`kvaw ow vd` `yeapevgln li enw ipnkvgln gn gv{ yeap` {vrgnm nlv xrlv`kv`f ow bevkd`f

xer`nvd`{`{. Vd` yeap` {vrgnm li e n`pvrea ipnkvgln g{ nlv iprvd`r `yeapev`f.

@TEBXA@[ LI IPNKVGLN[

En `tebxa` li vd` /fìgn` {vrgnm/ xrgbgvgy` ipnkvgln g{ vd` `txr`{{gln+$f{!EE!KEV'. Vdg{ kep{`{

r`klrfgnm li vd` {vrgnm KEV gn vd` b`blrw enf xaek`{ vd` nebÈEli vd` {vrgnm gn e veoa` li klnv`nv{.

Vd` {vrgnm ken o` keaa`f lpv li b`blrw ow vd` /keaa/ ipnkvgln +$ka!EE'. Vd` r`{pav li vd` keaa

ipnkvgln g{ vl xaek` vd` {vrgnm yeap` li vd` keaa! nebàw KEV! gn vd` ilrb`r alkevgln li+$ka!EE'!

}gvd en `txen{gln lr e kal{gnm px li vd` {prrlpnfgnm {vrgnm{. Vd` keaa ipnkvgln g{ gn vd` kae{{ li

ipnkvgln{ deygnm e /yeap` {vrgnm./ Vd` fìgn` {vrgnm ipnkvgln g{ en `tebxa` li e ipnkvgln deygnm e /npaa

yeap`/3 g.`.! nl {vrgnm g{ aìv o`dgnf gn gv{ xaek` eiv`r gv{ `yeapevgln.

@yeapevgln li vd` /rèf {vrgnm/ ipnkvgln +$r{' kep{`{ vd` xrlk`{{lr vl ekk`xv gnxpv irlb vd`

vwx`}rgv`r. Gv{ yeap` g{ vd` {vrgnm e{ r`k`gy`f irlb vd` vwx`}rgv`r px vl e v`rbgnevgnm /b`ve kderekv`r/

}dgkd g{ p{peaaw vec`n vl o` vd` exl{vrlxd`. Vd` b`ve kderekv`r ken o` kdenm`f. Vd` /xrgnv {vrgnm/

ipnkvgln+$x{!T' kep{`{ xrgnvgnm lpv li vd` ermpb`nv {vrgnm! d`r` r`xr`{`nv`f ow vd` {wbola T. Gv

de{ npaa yeap`. Vd` n`{v`f `txr`{{gln+$x{!+$ka!EE'' }gaa kep{` KEVvl o` xrgnv`f lpv.

Gn vd` o`mgnngnm enf ev vd` klbxa`vgln li `y`rw xrlk`{{gnm kwka`! vd` V_EK /gfagnm xrlk`fpr`/

+$x{!+$r{'' g{ epvlbevgkeaaw alef`f gnvl vd` V_EK xrlk`{{lr. Gv g{ vd`rìlr` {``n vdev eaa {vrgnm{

enf xrlmreb{ er` ìi`kvgyàw alef`f gnvl vd` gnv`rglr li vd` gfagnm xrlk`fpr`! enf iprvd`rblr`! eaaV_EK klbxpvevgln{ er` bef` ln ipnkvgln{ n`{v`f }gvdgn vd` ermpb`nv {vrgnm li {lb` lvd`r ipnkvgln.

V_EK EAML_GVDB

Vd` V_EK eamlrgvdb mly`rn{ vd` xr`kg{` benn`r gn }dgkd V_EK `txr`{{gln{ er` {kenn`f enf

`yeapev`f ow vd` V_EK xrlk`{{lr. Ev vd` o`mgnngnm! vd` pn`yeapev`f {vrgnm{ er` gn vd` /ekvgy` {vrgnm/

enf vd` /{kenngnm xlgnv`r/ xlgnv{ vl vd` aìvbl{v kderekv`r gn vdg{ {vrgnm. E{ kderekv`r{ dey` o``n

vrèv`f ow vd` {kenngnm eamlrgvdb! vd`w bew o` eff`f vl vd` rgmdv"denf `nf li e /n`pvrea {vrgnm!/ }dgkd

g{ {l keaa`f o`kep{` gv{ kderekv`r{ dey` o``n ipaaw vrèv`f ow vd` eamlrgvdb enf er` vdp{ n`pvrea! agc`

eaxdeo`vgk kderekv`r{. Vd` eamlrgvdb ilaal}{.

5. Vd` kderekv`r pnf`r vd` {kenngnm xlgnv`r g{ tebgn`f. Gi vd`r` g{ nl kderekv`r aìv $ekvgy` {vrgnm

`bxvw'! ml vl rpa` 56.

?. Gi vd` kderekv`r jp{v `tebgn`f $ow rpa` 5' g{ e o`mgn xer`nvd`{g{! vd` kderekv`r g{ fà`v`f enf vd`

xlgnv`r g{ bly`f edèf vl vd` kderekv`r ilaal}gnm vd` igr{v bevkdgnm `nf xer`nvd`{g{. Vd` `nf

xer`nvd`{g{ g{ fà`v`f enf eaa nlnfà`v`f kderekv`r{ xe{{`f ly`r $gnkapfgnm n`{v`f xer`nvd`{`{'

er` xpv gnvl vd` n`pvrea {vrgnm }gvdlpv kdenm`. Ml vl rpa` 5.

;. Gi vd` kderekv`r jp{v `tebgn`f g{ `gvd`r e kerrgem` r`vprn! e agn` i``f lr e veopaev`! vd` kderekv`r g{

fà`v`f. Ml vl rpa` 50.

6. Gi vd` kderekv`r jp{v `tebgn`f g{ e klbbe! gv g{ fà`v`f. Vd` alkevgln ilaal}gnm vd` rgmdv"denf

kderekv`r ev vd` `nf li vd` n`pvrea {vrgnm! keaa`f vd` /kprr`nv alkevgln!/ g{ berc`f ow e xlgnv`r vl

gnfgkev` vd` `nf li en ermpb`nv {po{vrgnm enf vd` o`mgnngnm li e n`} ermpb`nv {po{vrgnm. Ml vl

rpa` 50.


4/10

0. Gi vd` kderekv`r g{ e {derx {gmn! vd` n`tv kderekv`r g{ gn{x`kv`f. Gi vdg{ g{ e o`mgn xer nvd`{g{! vd`

o`mgnngnm li en ekvgy` ipnkvgln g{ gnfgkev`f. Vd` {derx {gmn enf o`mgn xer`nvd`{g{ er` fà`v`f enf

vd` kprr`nv alkevgln gn vd` n`pvrea {vrgnm g{ berc`f vl gnfgkev` vd` o`mgnngnm li en ekvgy` ipnkvgln

enf vd` o`mgnngnm li en ermpb`nv {po{vrgnm. Vd` {kenngnm xlgnv`r g{ bly`f vl vd` kderekv`r

ilaal}gnm vd` fà`v`f xer`nvd`{g{. Ml vl rpa` 5.9. Gi vd` kderekv`r g{ e {derx {gmn enf vd` n`tv kderekv`r g{ ea{l e {derx {gmn! vd` { klnf"ilaal}gnm

kderekv`r g{ gn{x`kv`f. Gi vdg{ g{ e o`mgn xer`nvd`{g{! vd` o`mgnngnm li e n`pvrea ipnkvgln g{

gnfgkev`f. V}l {derx {gmn{ enf vd` o`mgn xer`nvd`{g{ er` fà`v`f enf vd` kprr`nv alkevgln gn vd`

n`pvrea {vrgnm g{ berc`f vl gnfgkev` vd` o`mgnngnm li e n`pvrea ipnkvgln enf vd` o`mgnngnm li en

ermpb`nv {po{vrgnm. Vd` {kenngnm xlgnv`r g{ bly`f vl vd` kderekv`r ilaal}gnm vd` fà`v`f

xer`nvd`{g{. $Ml vl rpa` 5.

=. Gi vd` kderekv`r g{ e {derx {gmn! opv n`gvd`r rpa` 0 lr 9 exxag`{! vd` kderekv`r g{ eff`f vl vd` n`pvrea

{vrgnm. Ml vl rpa` 50.

4. Gi vd` kderekv`r g{ en `nf xer`nvd`{g{! vd` kderekv`r g{ fà`v`f. Vd` kprr`nv alkevgln gn vd` n`pvrea

{vrgnm g{ berc`f ow e xlgnv`r vl gnfgkev` vd` `nf li en ermpb`nv {po{vrgnm enf vd` `nf li e

ipnkvgln. Vd` xlgnv`r vl vd` o`mgnngnm li vd` kprr`nv ipnkvgln g{ nl} r`vrg`y`f. Vd` klbxa`v` {`vli ermpb`nv {po{vrgnm{ ilr vd` ipnkvgln dey` nl} o``n fìgn`f. Vd` ekvgln gnfgkev`f ilr vd`

ipnkvgln g{ x`rilrb`f. Ml vl rpa` 58.

7. Gi vd` kderekv`r b``v{ vd` v`{v li nln` li vd` rpa`{ ? vdrlpmd 4! vren{i`r vd` kderekv`r vl vd`

rgmdv"denf `nf li vd` n`pvrea {vrgnm enf ml vl rpa` 50.

58. Gi vd` ipnkvgln de{ npaa yeap`! ml vl rpa` 5;.

55. Gi vd` ipnkvgln }e{ en ekvgy` ipnkvgln! vd` yeap` {vrgnm g{ gn{`rv`f vl vd` aìv li $xr`k`fgnm' vd`

igr{v pn{kenn`f kderekv`r gn vd` ekvgy` {vrgnm. Vd` {kenngnm xlgnv`r g{ r`{`v {l e{ vl xlgnv vl vd`

alkevgln xr`k`fgnm vd` igr{v kderekv`r li vd` n`} yeap` {vrgnm. Ml vl rpa` 5;.

5?. Gi vd` ipnkvgln }e{ e n`pvrea ipnkvgln! vd` yeap` {vrgnm g{ gn{`rv`f gn vd` n`pvrea {vrgnm }gvd gv{ igr{v

kderekv`r o`gnm xpv gn vd` alkevgln xlgnv`f vl ow vd` kprr`nv o`mgn"li"ipnkvgln xlgnv`r. Fà`v` vd`

ermpb`nv enf ipnkvgln xlgnv`r{ oekc vl vd` o`mgn"li"ipnkvgln xlgnv`r. Vd` {kenngnm xlgnv`r g{ nlvr`{`v. Ml vl rpa` 50.

5;. Fà`v` vd` ermpb`nv enf ipnkvgln xlgnv`r{ oekc vl vd` o`mgn"li"ipnkvgln xlgnv`r ilr vd` ipnkvgln

jp{v `yeapev`f! r`{`vvgnm vd` kprr`nv alkevgln vl vdg{ xlgnv. Ml vl rpa` 50.

56. Fà`v` vd` n`pvrea {vrgnm! gngvgeagz` gv{ xlgnv`r{! ràlef e n`} klxw li vd` gfagnm xrlk`fpr` gnvl vd`

ekvgy` {vrgnm! r`{`v vd` {kenngnm xlgnv`r vl vd` o`mgnngnm li vd` gfagnm xrlk`fpr`! enf ml vl rpa` 5.

50. Bly` vd` {kenngnm xlgnv`r edèf vl vd` n`tv kderekv`r. Ml vl rpa` 5.

Vd` V_EK xrlk`{{lr }gaa ekk`xv enw {vrgnm li {wbola{. Nln`tg{v`nv ipnkvgln{ er` mgy`n e npaa yeap`.

Lbgvv`f ermpb`nv{ er` mgy`n e npaa yeap`! }dga` `tvre ermpb`nv{ er` gmnlr`f. Lbgvv`f rgmdv

xer`nvd`{`{ }gaa kep{` vd` xrlk`{{lr vl v`rbgnev` gv{ ekvgln enf r`gngvgeagz` gv{ài ev en pn`tx`kv`f

xlgnv! }dga` `tvre rgmdv xer`nvd`{`{ er` gmnlr`f enf fà`v`f ev vd` `nf li e xrlk`fpr`. ]d`n vd`xrlk`{{lr o`klb`{ vll ipaa! x`rdex{ fp` vl en gnigngv` gv`revgln lr r`kpr{gln! e fgemnl{vgk g{ vwx`f lpv

vl gnfgkev` vdev iekv enf vd` xrlk`{{lr g{ r`"gngvgeagz`f ow mlgnm vl rpa` 56. Vd` orèc c`w {vlx{ enw

ekvgln enf kep{`{ r`"gngvgeagzevgln.

VD@ V_EK IPNKVGLN[

Gnxpv"Lpvxpv

Eaa ipnkvgln{ er` {dl}n gn vd`gr ekvgy` r`xr`{`nvevgln! }dgkd g{ vd` ilrb bl{v liv`n p{`f. E{ {dl}n!

vd` ermpb`nv {vrgnm{ er` xr`{pb`f nlv vl klnvegn ipnkvgln{ lr lvd`r ekvgy` bevv`r.


5/10

+$r{'/rèf {vrgnm/ $ln` ermpb`nv'. $Nlv` vdev vd` bn`blngk ilr vd` ipnkvgln neb` g{ klpnv`f e{ vd`

igr{v ermpb`nv.' Vd` yeap` g{ vd` {vrgnm e{ rèf irlb vd` và`"vwx`}rgv`r c`wolerf px vl vd` xlgnv li

lkkprr`nk` li vd` b`ve kderekv`r! }dgkd g{ fà`v`f.

+$rk' /rèf kderekv`r/ $ln` ermpb`nv'. Vd` yeap` g{ vd` n`tv kderekv`r! }dgkd bew o` enw kderekv`r$gnkapfgnm vd` b`ve kderekv`r' r`k`gy`f irlb vd` và`"vwx`}rgv`r.

+$kb!T'/kdenm` b`ve/ $v}l ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln kdenm`{ vd` b`ve kderekv`r vl vd`

igr{v kderekv`r li vd` {vrgnm {wbolagz`f owT. Pxln {vervgnm! vd` V_EK xrlk`{{lr g{ alef`f }gvd e

{venferf b`ve kderekv`r! p{peaaw vd` exl{vrlxd`.

+$x{!T'/xrgnv {vrgnm/ $v}l ermpb`nv{'. Vdg{ npaa"ylgf`f ipnkvgln xlgnv{ lpv ln vd` và`"vwx`}rgv`r vd`

{vrgnm r`xr`{`nv`f owT.

Fìgn` enf Keaa Ipnkvgln{

+$f{!N!T'/fìgn` {vrgnm/ $vdr`` ermpb`nv{'. Vdg{ g{ e npaa"yeap`f ipnkvgln. Vd` {vrgnm {wbolagz`f owTg{ xaek`f gn {vlrem` enf g{ mgy`n vd` neb` {wbolagz`f owN. Vd` neb` g{ xaek`f gn e neb` ag{v lr veoa`

li klnv`nv{ vl vd` /ilrb{/ gn {vlrem`. E /ilrb/ g{ e neb`f {vrgnm gn {vlrem`. Gi e ilrb g{ earèfw gn

{vlrem` }gvd neb`N! vdg{ ilrb g{ `re{`f. Vd` neb`Nbew o` e npaa {vrgnm.

+${{!T5!T?!' /{`mb`nv {vrgnm/ $vdr`` lr blr` ermpb`nv{'. Vdg{ g{ e npaa"yeap`f ipnkvgln. Vd` ilrb

neb`Ng{ vec`n irlb {vlrem` enf g{ {kenn`f irlb aìv vl rgmdv }gvd r`{x`kv vl {vrgnmT5. Gi e {po{vrgnm

g{ ilpnf bevkdgnmT5! vd` alkevgln li vd` bevkd g{ berc`f. Vd` bevkdgnm {po{vrgnm g{ `tkapf`f irlb

iprvd`r ekvgln! vdp{ krèvgnm e /{`mb`nv mex./ Vd` r`{v li vd` ilrb g{ {kenn`f }gvd r`{x`kv vlT5 vl

krèv` enw effgvglnea {`mb`nv mex{. Vd`{` {`mb`nv mex{ er` eaa mgy`n vd` lrfgnea yeap` ln`. Vd` xerv{

li vd` ilrb nlv vec`n ow {`mb`nv mex{ er` nl} {kenn`f }gvd r`{x`kv vl {vrgnmT?! }gvd vd` krèvgln li

{`mb`nv mex{ li lrfgnea yeap` v}l. Vdg{ ekvgln g{ r`xèv`f }gvd eaa li vd` r`begngnm ermpb`nv {vrgnm{.Ev vd` `nf! vd` berc`f ilrb! ealnm }gvd gv{ xlgnv`r{ enf lrfgnea gf`nvgig`r{ ilr vd` {`mb`nv mex{! g{ xpv

oekc gnvl {vlrem` }gvd vd` neb`N. Vd` pnvlpkd`f xlrvgln{ li vd` {vrgnm gn vd` ilrb er` keaa`f

/{`mb`nv{./ Gv g{ {``n vdev vd` {`mb`nv {vrgnm ipnkvgln krèv`{ e /bekrl/ gn }dgkd vd` ermpb`nv{T5!

T?! `vk.! gnfgkev` vd` fpbbw yergeoa`{. Vd` {`mb`nv {vrgnm ipnkvgln {po{ùp`nvaw ken o` exxag`f }gvd

lvd`r ermpb`nv{ vl vd` {eb` ilrb! }gvd vd` r`{pav li n`} {`mb`nv mex{ o`gnm krèv`f }gvd lrfgnea

yeap` ln`! v}l! `vk.! enf o`gnm gn{`rv`f eblnm vdl{` earèfw vd`r`. E npaa {vrgnm ilr ln` li vd`

ermpb`nv{Tkep{`{ nl ekvgln ilr vdg{ ermpb`nv.

+$ka!N!T5!T?!' /keaa/ $v}l lr blr` ermpb`nv{'. Vd` yeap` g{ m`n`rev`f ow orgnmgnm vd` ilrb neb`f

Nirlb {vlrem` enf igaagnm vd` {`mb`nv mex{ li lrfgnea yeap` ln` }gvd {vrgnmT5! vd` mex{ li lrfgnea

yeap` v}l }gvd {vrgnmT?! enf {l ln ilr eaa vd` {`mb`nv mex{ gn vd` ilrb.

Vd` ilaal}gnm {x`kgeagz`f keaa{ rèf lpv e xerv li e ilrb. Vd`w vrèv vd` {`mb`nv mex{ e{ gi vd` mex{

}`r` igaa`f }gvd vd` npaa {vrgnm. Vd`{` keaa{ $k{! kk!`n! enf gn' xr`{`ry` vd` n`pvrea"ekvgy` ipnkvgln

fg{vgnkvgln lnaw ilr vd` {vrgnm{ klbgnm irlb vd` ilrb neb`fN. [gnk` vd` eav`rnevgy` yeap` li vd`{`

ipnkvgln{! {wbolagz`f owZ! bew o` e keaa vl e xrlk`fpr`! vd` eav`rnevgy` yeap` g{ ea}ew{ vrèv`f e{ gi

vd` ipnkvgln }`r` ekvgy`.

Eaa vd` keaa ipnkvgln{ $k{! kk!`n! enf gn' rèf vd` v`tv li e ilrb o`mgnngnm ev vd` alkevgln gnfgkev`f ow e

/ilrb xrgnv`r/ }dgkd g{ xerv li vd` exxerevp{ li vd` ilrb. Gngvgeaaw vd` ilrb xlgnv`r xlgnv{ ev vd` igr{v

kderekv`r li vd` ilrb. Vd` keaa ipnkvgln fl`{ nlv kdenm` vd` ilrb xlgnv`r.


6/10

+$k{!N!Z' /keaa {`mb`nv/ $vdr`` ermpb`nv{'. Vd` yeap` li vdg{ ipnkvgln g{ vd` {vrgnm irlb vd` kprr`nv

alkevgln li vd` ilrb xlgnv`r vl vd` n`tv {`mb`nv mex li vd` ilrb neb`fN. Gi vd` ilrb g{ `bxvw! vd`

yeap` g{Z. Vd` ilrb xlgnv`r g{ bly`f vl vd` igr{v kderekv`r ilaal}gnm vd` {`mb`nv mex.

+$kk!N!Z' /keaa kderekv`r/ $vdr`` ermpb`nv{'. Vd` yeap` g{ vd` kderekv`r pnf`r vd` ilrb xlgnv`r. Gi vdìlrb g{ `bxvw! vd` yeap` g{Z. Vd` ilrb xlgnv`r g{ bly`f ln` kderekv`r edèf ${`mb`nv mex{ er`

{cgxx`f'.

+$kn!N!F!Z' /keaa nkderekv`r{/ $ilpr ermpb`nv{'. Vdg{ ipnkvgln rèf{ irlb vd` ilrb neb`Nirlb vd`

xlgnv gnfgkev`f ow vd` ilrb xlgnv`r enf klnvgnpgnm ilr e npbo`r li kderekv`r{ {x`kgig`f ow vd` f`kgbea

gnv`m`r npbo`r ev vd` vega `nf li vd` {vrgnm {wbolagz`f owF. [`mb`nv mex{ er` {cgxx`f. Gi vd` f`kgbea

npbo`r g{ xl{gvgy`! vdg{ ipnkvgln rèf{ vd` {vrgnm vl vd` rgmdv li vd` xlgnv`r3 gi n`mevgy`! vl vd` aìv. Vd`

{vrgnm{ {l rèf er` xr`{`ry`f gn vd`gr kderekv`r {ùp`nk`. Gi nl kderekv`r{ er` eyegaeoa` vl rèf! vd`

yeap` g{Z. Vd` ilrb xlgnv`r g{ bly`f vl vd` kderekv`r ilaal}gnm vd` bevkdgnm {po{vrgnm! lr g{ nlv

bly`f gi vd`r` g{ nl bevkd.

+$kr!N'/keaa r`{vlr`/ $v}l ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln r`{vlr`{ vd` ilrb xlgnv`r li vd` ilrbneb`fNvl vd` gngvgea kderekv`r.

+$ff!N5!N?!' /fà`v` fìgngvgln/ $v}l lr blr` ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln fà`v`{ vd`

ilrb{ neb`fN5!N?! `vk. irlb b`blrw enf r`bly`{ vd`gr neb`{ irlb vd` ag{v li neb`{.

+$fe'/fà`v` eaa/ $ln` ermpb`nv'. Vdg{ npaa"yeap`f ipnkvgln fà`v`{ eaa vd` ilrb{ gn b`blrw! enf

r`bly`{ vd`gr neb`{.

Ergvdb`vgk Ipnkvgln{

V_EK fl`{ gnv`m`r ergvdb`vgk! vecgnm f`kgbea ermpb`nv{. Vd` f`kgbea npb`rgk fgmgv{ er` allc`f ilr

ev vd` vega `nf{ li vd` ermpb`nv {vrgnm{. Vd` xrìgt {vrgnm li vd` igr{v ermpb`nv {vrgnm g{ xr`{`ry`f enf g{

exx`nf`f vl vd` en{}`r! }dga` vd` xrìgt {vrgnm li vd` {`klnf ermpb`nv g{ gmnlr`f. N`mevgy` upenvgvg`{

er` gnfgkev`f ow vd` bgnp{ {gmn /"/! enf gngvgea z`rl{ er` gmnlr`f. ]d`n`y`r vd` gnv`m`r yeap`{ o`klb`

{l aerm` e{ vl ly`rial} vd` kexekgvw li vd` ergvdb`vgk xrlk`{{lr! vd` ly`rial} yeap`Zli vd` ipnkvgln g{

vec`n. Vd` ly`rial} yeap` g{ ea}ew{ vrèv`f e{ gi gv }`r` xrlfpk`f ow en ekvgy` ipnkvgln. Vd`

ergvdb`vgk ipnkvgln{ er`: +$ef!F5!F?!Z' /eff/! +${p!F5!F?!Z' /{povrekv/! +$ba!F5!F?!Z' /bpavgxaw/

enf +$fy!F5!F?!Z' /fgygf`/. Vd`w eaa vec` ilpr ermpb`nv{. Gn vd`{` ipnkvgln{!F? g{ {povrekv`f irlb

F5! enfF5 g{ fgygf`f owF?! }gvd vd` en{}`r o`gnm vd` aerm`{v gnv`m`r klnvegn`f gn vd` fgygf`nf.

Ollaèn Ipnkvgln{

Ollaèn V_EK ipnkvgln{ lx`rev` ln {vrgnm{ li ogv{ $li yeap` 8 lr 5'! g.`.! ln Ollaèn y`kvlr{. Vd` ogv{vrgnm{ er` r`xr`{`nv`f ow lkvea fgmgv{! }gvd èkd fgmgv r`xr`{`nvgnm vdr`` ogv{. Vdp{ vd` ogv {vrgnm{ dey`

a`nmvd{ gn bpavgxa`{ li vdr``. Vd` lkvea fgmgv{ er` allc`f ilr ev vd` vega `nf li vd` 85 enf 8? {vrgnm{! enf

enw nln"lkvea xrìgt bevv`r g{ fà`v`f. Vd` ipnkvgln{ er`: +$op!85!8?' /Ollaèn pngln!/ +$og!85!8?'

/Ollaèn gnv`r{`kvgln!/ +$ok!85' /Ollaèn klbxa`b`nv!/ +$o{!F5!85' /Ollaèn {dgiv/ enf +$or!F5!85'

/Ollaèn rlvev`./ Vd` ogv {vrgnm{ er` rgmdv jp{vgig`f. Gn vd` Ollaèn pngln vd` {dlrv`r {vrgnm g{ igaa`f lpv

}gvd aèfgnm z`rl{! }dga` gn vd` Ollaèn gnv`r{`kvgln! vd` alnm`r {vrgnm g{ vrpnkev`f ev vd` aìv. Gn vd`

klbxa`b`nv! {dgiv enf rlvev`! vd` a`nmvd li vd` ogv {vrgnm r`begn{ vd` {eb`. [dgiv g{ vl vd` aìv ow vd`

npbo`r li xaek`{ {x`kgig`f ow vd` f`kgbeaF5 $}gvd aèfgnm nlnf`kgbea bevv`r o`gnm fà`v`f' }d`n

F5 g{ xl{gvgy`! enf vl vd` rgmdv }d`nF5 g{ n`mevgy`. Vd` n`} xl{gvgln{ krèv`f ow vd` {dgiv er` igaa`f

}gvd z`rl{. _lvev` g{ ea{l vl vd` aìv lr rgmdv! }gvd xl{gvgy` lr n`mevgy` yeap`{ liF5. Vd` fgmgv{

fg{xaek`f irlb ln` `nf li vd` y`kvlr er` eff`f vl vd` xaek` krèv`f ev vd` lvd`r `nf.


7/10

F`kg{gln Ipnkvgln{

+$ù!T5!T?!T;!T6' /ùpea{/ $igy` ermpb`nv{'. Vdg{ g{ e v`{v ilr {vrgnm ùpeagvw. GiT; g{ ùpea vlT?!

vd` yeap` g{T;3 lvd`r}g{` gv g{T6.

+$mr!F5!F?!T5!T?' /mrèv`r vden/ $igy` ermpb`nv{'. Vdg{ g{ e v`{v li npb`rgkea bemngvpf`. Gi vd`

gnv`m`r f`kgbea npbo`r ev vd` vega li {vrgnmF5 g{ eamòregkeaaw mrèv`r vden vd` npbo`r ev vd` vega li

F? vd` yeap` g{T53 lvd`r}g{` gv g{T?.

@tv`rnea [vlrem` Benem`b`nv Ipnkvgln{

+${o!N!N5!N?!' /{vlr` oalkc/ $vdr`` lr blr` ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln e{{`boa`{ vd`

mrlpx li ilrb{ neb`fN5!N?! `vk.! enf {vlr`{ vd`b e{ e oalkc gn en `tv`rnea {vlrem` erè. Vd` ilrb

neb`{! {`mb`nv mex{! `vk.! er` eaa xr`{`ry`f. ]d`n vd` ilrb{ dey` o``n xpv gnvl vd` `tv`rnea {vlrem`!

vd`w er` `re{`f irlb ilrb {vlrem`. E n`} ilrb g{ krèv`f }gvd neb` N enf }gvd e {vrgnm }dgkd g{ vd`

effr`{{ li vd` oalkc gn `tv`rnea {vlrem`.

+$io!N' /i`vkd oalkc/ $v}l ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln g{ vd` klny`r{` li vd` {vlr` oalkc

ipnkvgln. Vd` neb`Ng{ vd` neb` li vd` oalkc vl o` i`vkd`f. Vd` ipnkvgln r`{vlr`{ vl ilrb {vlrem` eaa

vd` ilrb{ gn vd` oalkc! klbxa`v` }gvd neb`{! {`mb`nv mex{! xlgnv`r{! `vk. Gv fl`{ nlv `re{` vd` oalkc gn

`tv`rnea {vlrem`! nlr vd` ilrb neb`fN.

+$ò!N' /`re{` oalkc/ $v}l ermpb`nv{'. Vdg{ npaa"yeap`f ipnkvgln `re{`{ vd` ilrb neb`Nenf ea{l vd`

mrlpx li ilrb{ gn vd` oalkc gn `tv`rnea {vlrem`.

Vd`{` ipnkvgln{ x`rbgv ilrb{ vl o` bly`f vl enf irlb vd` begn b`blrw enf ea{l xrlv`kv vd` {vlr`f

ilrb{ irlb ekkgf`nvea `re{pr`. Vd`w ea{l x`rbgv ln` vl opgaf e /{vlrem` vr``./ Ow vdg{ v`kdngup`! e

mrlpx li ilrb{ ken o` {vlr`f pnf`r e mrlpx neb`! e {`v li mrlpx neb`{ ken o` {vlr`f pnf`r e {`kvglnneb`! enf {l ln.

Fgemnl{vgk Ipnkvgln{

+$an!T' /ag{v neb`{/ $v}l ermpb`nv{'. Vd` yeap` li vdg{ ipnkvgln g{ vd` ag{v li neb`{ gn vd` neb` ag{v!

g.`.! vd` neb`{ li eaa vd` ilrb{ gn ilrb {vlrem`. @ekd neb` gn vd` yeap` {vrgnm g{ xr`k`f`f ow {vrgnmT.

GiTg{ vd` kderekv`r xegr /kerrgem` r`vprn! agn` i``f/ xrlv`kv`f ow flpoa` xer`nvd`{`{! vd` neb`{ }gaa o`

ag{v`f gn e klapbn.

+$xi!N' /xrgnv ilrb/ $v}l ermpb`nv{'. Vdg{ kep{`{ vd` vwxgnm lpv li vd` ilrb neb`fN}gvd e klbxa`v`

gnfgkevgln li vd` alkevgln enf lrfgnea yeap`{ li vd` {`mb`nv mex{.

+$vn'/vrek` ln/ $ln` ermpb`nv'. Vdg{ npaa"yeap`f ipnkvgln gngvgev`{ vd` vrek` blf` gn }dgkd! e{ vd`

klbxpvevgln xrlmr`{{`{! vd` n`pvrea {vrgnm{ ilr èkd ipnkvgln er` vwx`f lpv. Vwxgnm vd` oekc{xek` c`w

kep{`{ `yeapevgln li vd` ipnkvgln! enf xr`{`nvevgln li vd` n`pvrea {vrgnm{ li vd` n`tv. Vwxgnm enwvdgnm

lvd`r vden oekc{xek` kep{`{ gngvgeagzevgln. Kerrgem` r`vprn bew o` p{`f gn{vèf li oekc{xek`.

+$vi'/vrek` lii/ $ln` ermpb`nv'. Vdg{ g{ e npaa"yeap`f ipnkvgln }dgkd v`rbgnev`{ vd` vrek` blf` }gvdlpv

gngvgeagzevgln. Olvd vrek` ln enf vrek` lii ipnkvgln{ bew o` xaek`f enw}d`r` gn e xrlk`fpr`.


8/10

@TEBXA@[ LI V_EK X_LK@FP_@[

5. Vd` fg{vgnkvgln o`v}``n ekvgy` enf n`pvrea ipnkvgln{ g{ p{peaaw xpzzagnm. Gn `{{`nk`! vd` yeap` irlb

en ekvgy` ipnkvgln g{ r`{kenn`f! }dga` gn vd` n`pvrea ipnkvgln gv g{ nlv. Vd` ilaal}gnm `tebxa` {dl}{

vd` ekvgln li vd` xrlv`kvgy` xer`nvd`{g{! vd` n`pvrea enf vd` ekvgy` ilrb{ li vd` ipnkvgln. Kln{gf`r vdevolvd +$f{!EE!KEV' enf vd` {gbxa` xrlmreb +$f{!OO!$+$ka!EE'''dey` o``n xr`{`nv`f vl

vd` xrlk`{{lr. Vd`n!

+$x{!$+$ka!OO'''! +$x{!+ +$ka!OO''! +$x{!+$ka!OO''

xrgnv{ lpv! r`{x`kvgyàw:

+$ka!OO'! +$ka!EE'! KEV

?. ]d`n vd` xrlk`{{lr g{ upgv` ipaa! gv g{ liv`n f`{greoa` vl fà`v` eaa ilrb{ opv ln` li e xervgkpaer neb`.

Vd` xrlk`fpr` +$f{!N!+ +$ka!N'+$fe'' }gaa ekklbxag{d vdg{. D`r` + +$ka!N' rèf{ vd`

ilrbNgnvl vd` xrlk`{{lr! enf gv g{ dàf gn vd` n`pvrea {vrgnm }dga` eaa vd` ilrb{ gn b`blrw er` `re{`f.Vd` ilrb g{ vd`n r`fìgn`f }gvd gv{ lrgmgnea neb`. Gn vdg{ `tebxa`! {`mb`nv mex{ er` al{v.

;. Vdg{ enf vd` ilaal}gnm `tebxa` gaap{vrev` vd` `tv`n{gln li V_EK kexeogagvg`{ vdrlpmd fìgngnm enf

{vlrgnm li {pgveoa` xrlk`fpr`{. Vd` keakpaevgln li vd` iekvlrgea li e npbo`r ken o` fln` ow {gbxa`

r`kpr{gln:

+$f{!Iekvlrgea!$+ $ù!5!T!5!

$+$ba!T!+$ka!Iekvlrgea!+$ef!T!"5''''

'''+${{!Iekvlrgea!T'

Vd`n vd` keaa +$ka!Iekvlrgea!0'xrlfpk`{ vd` r`{pav 5?8.

6. Benw p{`r{ }gaa xrì`r vl dey` V_EK {pxxaw gv{ l}n {derx {gmn{ enf xer`nvd`{`{ }d`n keaagnm e

xrlk`fpr`. Vd` ilaal}gnm }gaa fl vdg{:

+$f{!@nmag{d!$+$x{!

+ $ka!+$r{''$

''+$ka!@nmag{d'''

Vl {verv vdg{ ekvgln! }` p{` +$ka!@nmag{d'! enf vd`n gi ln` vwx`{ gn Iekvlrgea!0 vd`r`{xln{` g{ 5?8ilaal}`f ow kerrgem` r`vprn! agn` i``f. Vd` ekvgln g{ v`rbgnev`f ow

+$ff!@nmag{d'.

Ekcnl}a`fmb`nv{.[x`kgea vdenc{ er` fp` vl bw klaaeolrevlr A. X`v`r F`pv{kd ilr dg{ e{{g{venk` gn vd`

f`yàlxb`nv enf gbxa`b`nvevgln li V_EK.

_@I@_@NK@[

5. Bll`r{! K. N. V_EK! e v`tv denfagnm aenmpem`. Xrlk. EKB ?8vd Nev. Klni. Ka`yàenf! Epm.

5790! xx. ??7"?69.

?. V_EK""e xrlk`fpr` fìgngnm enf `t`kpvgnm {w{v`b. B`b. Y"50=! _lkcilrf _`{èrkd!


9/10

Keborgfm`! Jpn` 5796.

;. @e{v}llf! F. @.! enf BkGarlw! B. F.Bekrl klbxga`r blfgigkevgln li [EX. B`b.! Klbxpv. Aeo.!

Oàa Và`xdln` Aeo{.! Bprrew Dgaa! N.J.! [`xv. ;! 5707. $Pnxpoag{d`f'

6. BkGarlw! B. F. P{gnm [EX bekrl gn{vrpkvgln{ vl bengxpaev` {wbolagk `txr`{{gln{. B`b.!

Klbxpv. Aeo.! Oàa Và`xdln` Aeo{.! Bprrew Dgaa! N.J.! 5798. $Pnxpoag{d`f'0. [vrekd`w! K.E m`n`rea xprxl{` bekrlm`n`revlr. KLBXPV. J. 4! ; $5799'.

Klxwrgmdv ?888 ow Vd` V_EK Ilpnfevgln! Gnk.


10/10

TRAC, A Procedure-Describing Language for the Reactive Typewriter

Documents

Transcript of TRAC, A Procedure-Describing Language for the Reactive Typewriter