Define an algorithm.

Distinguish between an algorithm and a process

Initially, farmer, goat, grass, wolf = L, L, L, L and the farmer crosses the river with goat. Model the action with an assignment statement.

Specify a function to find the minimum of two numbers.

If √2 = 1.414, and the square_root() function returns 1.414, does it violate the following specification?
-- square -root (x)
-- inputs: x is a real number, x ≥ 0
-- outputs: y is a real number such that y²=x