Difference between revisions of "User:Himanshu40"
Jump to navigation
Jump to search
Himanshu40 (talk | contribs) m |
Himanshu40 (talk | contribs) m |
||
| Line 1: | Line 1: | ||
==Weights to lttoolbox== |
==Weights to lttoolbox== |
||
===Theory=== |
===Theory=== |
||
'''Weighted transducers''' are automata in which each transition in addition to its usual input label is augmented with an output label from a possible new alphabet, and carries some weight element of a semiring. |
|||
For weight in |
For weight in lttoolbox which currently supports DFA system, we need '''Semi-ring''' for calculating weight. |
||
A ''' |
A '''Semiring''' is defined by two binary operations '''⊕''' and '''⊗''' and two designated elements '''0''' and '''1''' with following properties:- |
||
* '''⊕''' shows associative, commutative and has 0 as its own identity. |
* '''⊕''' shows associative, commutative and has 0 as its own identity. |
||
* '''⊗''' shows associative and has 1 as its own identity. |
* '''⊗''' shows associative and has 1 as its own identity. |
||
A '''left semiring''' distributes on the left and also a '''right semiring''' is similarly defined. |
A '''left semiring''' distributes on the left and also a '''right semiring''' is similarly defined. |
||
==Store weights in lttoolbox== |
|||
* A <code>Weight</code> class must have binary functions <code>Plus</code> and <code>Times</code> these must form a left or right semiring. |
|||
Also in class <code>Weight</code>, there are some additions which must be defined like the following:- |
|||
Revision as of 18:52, 5 January 2018
Weights to lttoolbox
Theory
Weighted transducers are automata in which each transition in addition to its usual input label is augmented with an output label from a possible new alphabet, and carries some weight element of a semiring.
For weight in lttoolbox which currently supports DFA system, we need Semi-ring for calculating weight.
A Semiring is defined by two binary operations ⊕ and ⊗ and two designated elements 0 and 1 with following properties:-
- ⊕ shows associative, commutative and has 0 as its own identity.
- ⊗ shows associative and has 1 as its own identity.
A left semiring distributes on the left and also a right semiring is similarly defined.
Store weights in lttoolbox
- A
Weightclass must have binary functionsPlusandTimesthese must form a left or right semiring.
Also in class Weight, there are some additions which must be defined like the following:-
