User:Himanshu40 - Revision history

Himanshu40 at 17:38, 6 January 2018

2018-01-06T17:38:52Z

2018-01-06T17:28:53Z

2018-01-06T15:22:42Z

2018-01-06T11:06:27Z

2018-01-06T10:56:50Z

2018-01-05T19:33:52Z

2018-01-05T19:19:45Z

2018-01-05T19:06:02Z

2018-01-05T18:52:12Z

2018-01-05T16:11:15Z

@@ Line 25: / Line 25: @@
 * <code>Write(ostream &)</code> :- This writes binary representation of a weight.
 * <code>ApproxEqual</code> :- This shows approximate equality (for inexact weights).
-* <code>ReverseWeight</code> :- This a type of the corresponding reverse weight and the same type as <code>Weight</code> for a both left and right semiring. For the left string semiring, it is the right string semiring.

@@ Line 24: / Line 24: @@
 * <code>Read(istream &)</code> :- This reads binary representation of a weight.
 * <code>Write(ostream &)</code> :- This writes binary representation of a weight.
-* <code>NoWeight</code> :- This is a static member function that returns an element which is not a set member and used to signal an error.
 * <code>ApproxEqual</code> :- This shows approximate equality (for inexact weights).
 * <code>ReverseWeight</code> :- This a type of the corresponding reverse weight and the same type as <code>Weight</code> for a both left and right semiring. For the left string semiring, it is the right string semiring.

@@ Line 15: / Line 15: @@
 ==Calculation of weights in lttoolbox==
+An '''arc weight''' in an FST gives the cost of taking that transition.
 * 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:-

@@ Line 14: / Line 14: @@
 '''⊗''' is used to combine weights along a path or when matching paths in composition or intersection.
-==Store weights in lttoolbox==
+==Calculation of 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:-

@@ Line 3: / Line 3: @@
 '''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.
+For weight in lttoolbox which currently supports NDFA system, we need '''Semi-ring''' for calculating weight.
 A '''Semiring''' is defined by two binary operations '''⊕''' and '''⊗''' and two designated elements '''0''' and '''1''' and it consists of a system like '''K, ⊕, ⊗, 0, 1''' with following properties:-

@@ Line 1: / Line 1: @@
 ==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 ltoolbox which currently supports DFA system, we need '''Semi-ring''' for calculating weight.
+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:-
+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 <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:-