math


How do you define summary and extension of weighted finite state transducers?


So reading through this paper:
http://www.cs.nyu.edu/~mohri/pub/fla.pdf
I see that a weighted finite state transducer (WFST) is a semiring, and many operations on WFST can be expressed in terms of "sum" and "product" over the semiring. For example, composition of Transducers one and two is:
(T1 ◦ T2)(x, y) = ⊕ z∈∆∗ T1(x, z)⊗T2(z, y)
But I can't seem to find an explanation on how do pure sum and product of WFST, and am having trouble backing out the operation from the composition example above.
A demonstration over this example would be much appreciated:
format: state1 state2, input alphabet : output alphabet, transition prob
T1
0 1 a : b, 0.1
0 2 b : b, 0.2
2 3 b : b, 0.3
0 0 a : a, 0.4
1 3 b : a, 0.5
T2
0 1 b : a, 0.1
1 2 b : a, 0.2
1 1 a : d, 0.3
1 2 a : c, 0.4
Example taken from: How to perform FST (Finite State Transducer) composition
--------------- update ------------
Found the answer in this document: http://www.cs.nyu.edu/~mohri/pub/hwa.pdf
page 12

Related Links

Mathematical function for string similarity score
Precision of reciprocal in floating point arithmetics
Graph - Dijkstra's algorithm - Tile-based map - Is there “blocking” term in graph?
How many students can you put into a hash table before a collision occurs?
Simple formula to ensure two teams get mixed up?
Get the X,Y coordinate at the edge of a rhombus, based on the rhombus' width and angle
3 random numbers from 2 random numbers task
draw arc from 0 to 360 degrees with d3.js
How can i calculate position in a matrix with x and y values
Scilab: “inconsistent multiplication” error message
Given a set of Euler Angles, (Pitch, Yaw, Roll) how to find alternate set that describes same 3D orientation?
Generating centered hexagonal lattice
3D Game Programming Math [closed]
Non-negative ratio constraint with linear programming in lp_solve
Distributing boxes in a 12-column grid
Python pow operation withouth math import

Categories

HOME
typescript
wpf
printing
xaml
elf
android-sqlite
isis
jsonschema
sony-camera-api
http2
push
android-vision
boxfuse
oracle-agile-plm
axios
avr
plc
flow
slowcheetah
nsmutableattributedstring
procedure
realm-java
many-to-many
sencha-touch-2
amazon-cloudfront
datamatrix
selenium-edgedriver
eonasdan-datetimepicker
abstract-syntax-tree
stylesheet
parallax
paket
angular-ngmodel
opensuse
stl
scatter-plot
apache-commons-httpclient
vrtk
codeskulptor
phing
kmdf
apartment-gem
sagepay
rating
edeliver
program-slicing
pci
slt
spring-form
tryton
findall
android-sdk-tools
rails-console
ultratree
pygments
insert-update
qlpreviewcontroller
winobjc
bash-completion
flotr2
jquery-load
vimeo-ios
pddl
illegalstateexception
interpreted-language
user-registration
ppl
windows-universal
wintersmith
java-client
sbrk
culture
repaint
opensc
publish-actions
subdirectory
globus-toolkit
notifydatasetchanged
magento-1.6
blazeds
acts-as-taggable-on
django-endless-pagination
llblgenpro
shift
gdb-python
flexpaper
html5-apps
cassette
jmdns
doophp
oledbcommand
mknetworkkit
expressionvisitor
websolr
postgresql-8.1
sharepoint-timer-job
mkreversegeocoder
apache-config
msn-messenger
posterous
iphone-sdk-3.1

Resources

Mobile Apps Dev
Database Users
javascript
java
csharp
php
android
MS Developer
developer works
python
ios
c
html
jquery
RDBMS discuss
Cloud Virtualization
Database Dev&Adm
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App