В статье следует упомянуть, что преобразователи с конечным состоянием соответствуют регулярным отношениям, которые сами по себе являются классом языка. Раздел «Операции с преобразователями с конечным состоянием» также немного вводит в заблуждение (хотя и правилен) в этом отношении. Хотя не существует понятия пересечения двух FST, следует указать, что это связано с тем, что языковой класс регулярных отношений не замкнут относительно пересечения (Набросок доказательства: пересечение {(a^nb^m , c^n)} и {a^nb^m, c^m} есть {a^nb^n, c^n}. Входной язык тривиально нерегулярен). Кроме того, концепцию FST можно понимать как распознаватель или генератор для сложных символов I x O. В соответствии с этой концепцией FST фактически закрыты при пересечении, поскольку они больше не отличаются от FSA. FST без «допустимых пар» для вставки/удаления также могут пересекаться. --Reas0n85 21:20, 29 ноября 2006 г. (UTC)
Более того, некоторые формулировки в этой статье очень похожи на формулировки Джурафски, Даниэля, Джеймса Х. Мартина (2000). Обработка речи и языка. Прентис Холл, 71-83. ISBN 0-13-095069-6 . -- Reas0n85 21:20, 29 ноября 2006 г. (UTC)
Концепция FST аналогична, если не эквивалентна машинам Мили . Возможно, статьи следует объединить, но для начала я добавил его в раздел «см. также». -- Reas0n85 21:20, 29 ноября 2006 г. (UTC)
Я не согласен. Машины Мили представляют собой особый тип преобразователей, в отличие от машин Мура. Для некоторых приложений (например, для распознавания речи) наиболее распространена интерпретация Мили, но для других (например, биоинформатики) более распространено машинное представление Мура, а слово «преобразователь» используется чаще, чем машины Мура или Мили. Так получилось, что представленные здесь определения больше соответствуют машинам Мили, но в целом хорошо известно, что «преобразователи с конечным состоянием» являются более общими, чем «машины Мили». Несколько статей по биоинформатике ссылаются на приведенное здесь определение «преобразователя с конечным состоянием», и я бы настоятельно рекомендовал сохранить его нетронутым. Йен Хенти Холмс ( разговор ) 19:03,
Имеет ли смысл ссылки на реализации? Или это выходит за рамки Википедии? Я имею в виду xfst (задокументированный в книге Бисли и Карттунена, с более старой версией программного обеспечения на прилагаемом компакт-диске), SFST (бесплатно доступный), PC-KIMMO и ряд других.
Я должен написать что-нибудь о практическом использовании, тот факт, что существуют реализации, которые выполняют двухуровневую фонологию/морфологию, и другие реализации, которые имеют правила перезаписи, и так далее... Жизнь слишком коротка. Максуэлл ( разговор ) 03:10, 12 мая 2009 г. (UTC)