A disambiguation algorithm for weighted automata

ما یک الگوریتم ابهام برای ماشینهای وزن داریم. الگوریتم دو مرحله اصلی را پذیرفته است: یک مرحله قبل از تشخیص و به دنبال آن یک مرحله انتقال حذف شده است. ما شرح مفصلی از الگوریتم و اثبات صحت آن را ارائه می دهیم. این الگوریتم برای همه ماشینهای وزنی قابل استفاده نیست، اما ما شرایط کافی برای کاربرد آن در مورد ترمینال گرمسیری را با معرفی ویژگی ضعیف دوقلوها ثابت می کنیم. به طور خاص، الگوریتم را می توان با هر ماشین اتوماتیک وزن بیش از نیمه گرمسیری که برای آن الگوریتم تعیین وزن استفاده می شود، متوقف می کند و با هر ماشین اتوماتیک مقادیر آسیلیلی بیش از یک معادله تضعیف و تعویض تقسیم پذیری ضعیف سمت چپ دلخواه دلخواه است. درحالی که با استفاده از تعیین وزنی می توان ابهام های گوناگونی را بدست آورد، الگوریتم ابهام الگوریتم ما در برخی موارد می تواند نتیجه ای را که به صورت مؤثر کوچکتر از هر دستگاه اتوماتیک معکوس است، بازگرداند. ما همچنین شواهدی تجربی درباره مزایای فیزیکی ابهام در تعیین تعیین در تشخیص گفتار و برنامه های ترجمه ماشین را ارائه می دهیم.