Implicit semantics???

leedavies · **Posted:** Thu, 1 May 2008 01:37:01 UTC

Hi Everyone,

I'm currently struggling with the concept of Implicit semantics within my "Discrete" module (also known as Computational Mathematics). As a Software Engineer I can relate most of the function/algorithmic areas. However the same cannot be said for implicit!

I'm struggling in particular with the following question.

Quote:

A function G is described with implicit semantics as follows

$G: Stack(\mathbb{N}) x Stack(\mathbb{N}) \rightarrow Stack(\mathbb{N}) \qquad(s,t) \mapsto \sigma domain: NOT(ISEMPTYSTACK(s)) AND NOT(ISEMPTYSTACK(t)) where: TOP (\sigma) = TOP (t) and POP(\sigma) = POP (s)$

If s=<1,2,3> and t=<4,5>, evaluate G (s,t)

Regards,

Lee

shamus · **Posted:** Thu, 1 May 2008 12:58:37 UTC

Hi Lee,
Is it not

Top(σ) =top(t)=5
And
Pop(σ)=pop(s)=2,3

Therefore σ=2,3,5
Hence G(s,t)=2,3,5

Not sure this helps, its a bit new to me, but its a starter. Perhaps someone could confirm

S.O.S. Mathematics CyberBoard

Implicit semantics???

Who is online