Module: Set Specification Transducers and Automata (sst)

Set Specification Transducer supportt

New in version 1.4.

Classes

PSP

class PSP[source]

Relation pair of set specifications

PSPVanila

class PSPVanila(arg1, arg2)[source]

Relation pair of two set specifications

alphabet()[source]

The covering alphabet of a PSP

Return type

set

behaviour(sigma)[source]

Expansion of a PSP

Return type

(set, set)

inIntersection(other, alph)[source]

Evaluates the intersect on input with another Set Specification

Parameters

  • other (SetSpec) – the other

  • alph (set) – alphabet

Return type

PSP

inverse()[source]

Inverse of a PSP

Return type

PSPVanila

isAInvariant()[source]

Is this an alphabet invariant PSP?

Return type

bool

PDPEqual

class PSPEqual(arg1)[source]

Relation pair of two set specifications (constrained by equality)

inIntersection(other, alph)[source]

Evaluates the intersect on input wit anothe Set Specification

Parameters

  • other (SetSpec) – the other

  • alph (set) – alphabet

Return type

PSP

PSPDiff

class PSPDiff(arg1, arg2)[source]

Relation pair of two set specifications (constrained by non equality)

inIntersection(other, alph)[source]

Evaluates the intersect on input wit anothe Set Specification

Parameters

  • other (SetSpec) – the other

  • alph (set) – alphabet

Return type

PSP

SetSpec

class SetSpec[source]

Set Specification labels