User:Himanshu40
Revision as of 16:11, 5 January 2018 by Himanshu40 (talk | contribs)
Weights to lttoolbox
Theory
For weight in ltoolbox 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.
