diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-09-01 00:06:21 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-09-01 00:06:21 +0000 |
commit | 14b2b74d546f1adc696120c4dc5d5b0e0ebec419 (patch) | |
tree | 44b673b7e76669bc019a6c2f168b03c14beff671 | |
parent | 7f4b081c5cb13572f0d2b79ea38acd565a628f59 (diff) |
fsa notes
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@639 ec762483-ff6d-05da-a07a-a48fb63a330f
-rwxr-xr-x | decoder/apply_fsa_models.README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/decoder/apply_fsa_models.README b/decoder/apply_fsa_models.README index d487c96d..7e116a62 100755 --- a/decoder/apply_fsa_models.README +++ b/decoder/apply_fsa_models.README @@ -16,6 +16,6 @@ types of chart items: A->t.*,a,b (trie node t) with mutable state t-next for generating successor lazily (vs. all at once) -A->t.B,a,b (t-next of A->t.* points to (B,t')): mutable state b-next for choosing which B->b,? to use. note: such an item can't be queued immediately on its own, but can be added to the pending list of B->b,? +A->t.B,a,b (t-next of A->t.* points to (B,t')): mutable state b-next for choosing which B->b,? to use. note: such an item can't be queued immediately on its own, but can be added to the pending list of B->b,? ; once any B->b,? is completed then we see if any more b-next are already known; if they're exhausted then we add back to pending list? A->a,? - list of all known (b,inside prob) such that A[a,b]. we may also choose to represent this as A->.*,a,a. |