pi-null-trans() == RecProcess(
;s,m.<, make-lg([])>)
Definitions :
rec-process: RecProcess(s0;s,m.next[s; m]),
pair: <a, b>,
it: ,
make-lg: make-lg(L),
nil: []
FDL editor aliases :
pi-null-trans
pi-null-trans() == RecProcess(\mcdot{};s,m.<\mcdot{}, make-lg([])>)
Date html generated:
2010_08_27-PM-09_43_20
Last ObjectModification:
2010_04_29-PM-12_53_01
Home
Index