context.weight_zero()

The weight zero of a context.

Preconditions:

• none

import vcsn
def context(ctx):
    return vcsn.context(ctx)

context('lal_char, b').weight_zero()

$\bot$

context('lal_char, z').weight_zero()

$0$

context('lal_char, zmin').weight_zero()

$\infty$