Transducers

class Cslib.Automata.Transducer (A : Type u) (InSymbol OutSymbol : outParam (Type v)) : Type (max u v)

A Transducer is an automaton that translates strings (lists of symbols, from an input to an output alphabet).

• Translates (a : A) (xs : List InSymbol) (ys : List OutSymbol) : Prop

  The string xs can be translated into ys by a.

def Cslib.Automata.«term_[_]_» : Lean.TrailingParserDescr

The string xs can be translated into ys by a.

Equations

• One or more equations did not get rendered due to their size.