Difference: IntersectDoc (1 vs. 8)

Revision 82018-04-27 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Line: 17 to 17
 |
template <class Arc> 
void Intersect(const Fst<Arc> &ifsa1, const Fst<Arc> &ifsa2, MutableFst<Arc> *ofsa);
Changed:
<
<
| doc [bad link?] |
>
>
| |
 |
template <class Arc> IntersectFst<Arc>::
IntersectFst(const Fst<Arc> &fsa1, const Fst<Arc> &fsa2);

Revision 72014-04-23 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Line: 55 to 55
  Same as Compose.
Added:
>
>

See Also

Composition Filters, Matchers, State Tables

 -- MichaelRiley - 30 Jun 2007

META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240751" name="intersect1.jpg" path="intersect1.jpg" size="11290" user="Main.MichaelRiley" version="3"

Revision 62011-12-06 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Revision 52009-03-06 - CyrilAllauzen

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Line: 8 to 8
 both automata are retained in the result.

The two arguments must be acceptors.

Changed:
<
<
One of the arguments must be label-sorted (or otherwise support an appropriate matcher).
>
>
One of the arguments must be label-sorted (or otherwise support an appropriate matcher).The weights need to form a commutative semiring (valid for TropicalWeight and LogWeight for instance).

Versions of this operation (not all shown here) accept options that allow choosing the matcher, composition filter, state table and, when delayed, the caching behaviour used by intersection.

 

Usage

Revision 42009-02-26 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Line: 8 to 8
 both automata are retained in the result.

The two arguments must be acceptors.

Changed:
<
<
One of the arguments must be label-sorted.
>
>
One of the arguments must be label-sorted (or otherwise support an appropriate matcher).
 

Usage

Revision 32007-07-01 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Description

Changed:
<
<
This operation computes the intersection of two FSAs. Only strings that are in
>
>
This operation computes the intersection (Hadamard product) of two FSAs. Only strings that are in
 both automata are retained in the result.

The two arguments must be acceptors.

Line: 56 to 56
 -- MichaelRiley - 30 Jun 2007

META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240751" name="intersect1.jpg" path="intersect1.jpg" size="11290" user="Main.MichaelRiley" version="3"
Changed:
<
<
META FILEATTACHMENT attachment="intersect3.jpg" attr="" comment="" date="1183240804" name="intersect3.jpg" path="intersect3.jpg" size="14238" stream="intersect3.jpg" user="Main.MichaelRiley" version="2"
>
>
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240806" name="intersect3.jpg" path="intersect3.jpg" size="14238" user="Main.MichaelRiley" version="2"
 
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240781" name="intersect2.jpg" path="intersect2.jpg" size="10692" user="Main.MichaelRiley" version="2"

Revision 22007-06-30 - MichaelRiley

Line: 1 to 1
 
META TOPICPARENT name="FstQuickTour"

Intersect

Line: 55 to 55
  -- MichaelRiley - 30 Jun 2007
Changed:
<
<
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227175" name="intersect1.jpg" path="intersect1.jpg" size="7655" user="Main.MichaelRiley" version="2"
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227226" name="intersect3.jpg" path="intersect3.jpg" size="6037" user="Main.MichaelRiley" version="1"
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227201" name="intersect2.jpg" path="intersect2.jpg" size="6037" user="Main.MichaelRiley" version="1"
>
>
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240751" name="intersect1.jpg" path="intersect1.jpg" size="11290" user="Main.MichaelRiley" version="3"
META FILEATTACHMENT attachment="intersect3.jpg" attr="" comment="" date="1183240804" name="intersect3.jpg" path="intersect3.jpg" size="14238" stream="intersect3.jpg" user="Main.MichaelRiley" version="2"
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183240781" name="intersect2.jpg" path="intersect2.jpg" size="10692" user="Main.MichaelRiley" version="2"

Revision 12007-06-30 - MichaelRiley

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="FstQuickTour"

Intersect

Description

This operation computes the intersection of two FSAs. Only strings that are in both automata are retained in the result.

The two arguments must be acceptors. One of the arguments must be label-sorted.

Usage

template <class Arc> 
void Intersect(const Fst<Arc> &ifsa1, const Fst<Arc> &ifsa2, MutableFst<Arc> *ofsa);
doc [bad link?]
template <class Arc> IntersectFst<Arc>::
IntersectFst(const Fst<Arc> &fsa1, const Fst<Arc> &fsa2);
doc
fstintersect [--opts] a.fsa b.fsa out.fsa
  --connect: Trim output (def: true)
 

Examples

A:

intersect1.jpg

B:

intersect2.jpg

A ∩ B:

intersect3.jpg

Intersect(A, B, &C);
IntersectFst<Arc>(A, B);
fstintersect a.fsa b.fsa out.fsa

Complexity

Same as Compose.

Caveats

Same as Compose.

-- MichaelRiley - 30 Jun 2007

META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227175" name="intersect1.jpg" path="intersect1.jpg" size="7655" user="Main.MichaelRiley" version="2"
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227226" name="intersect3.jpg" path="intersect3.jpg" size="6037" user="Main.MichaelRiley" version="1"
META FILEATTACHMENT attr="" autoattached="1" comment="" date="1183227201" name="intersect2.jpg" path="intersect2.jpg" size="6037" user="Main.MichaelRiley" version="1"
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback