Difference between revisions of "User:Himanshu40"
Jump to navigation
Jump to search
Himanshu40 (talk | contribs) (Created page with "==Weights to lttoolbox==") |
Himanshu40 (talk | contribs) |
||
| Line 1: | Line 1: | ||
==Weights to lttoolbox== |
==Weights to lttoolbox== |
||
| + | |||
| + | 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. |
||
Revision as of 11:11, 5 January 2018
Weights to lttoolbox
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.
