WO2008034075A3 - Transformation of modular finite state transducers - Google Patents

Transformation of modular finite state transducers Download PDF

Info

Publication number
WO2008034075A3
WO2008034075A3 PCT/US2007/078522 US2007078522W WO2008034075A3 WO 2008034075 A3 WO2008034075 A3 WO 2008034075A3 US 2007078522 W US2007078522 W US 2007078522W WO 2008034075 A3 WO2008034075 A3 WO 2008034075A3
Authority
WO
WIPO (PCT)
Prior art keywords
transformation
finite state
state transducers
qfx
fsts
Prior art date
Application number
PCT/US2007/078522
Other languages
French (fr)
Other versions
WO2008034075A2 (en
Inventor
Steven E Lucco
David E Langworthy
Giovanni M Della-Libera
Original Assignee
Microsoft Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Microsoft Corp filed Critical Microsoft Corp
Priority to JP2009528502A priority Critical patent/JP2010503932A/en
Priority to EP07842529A priority patent/EP2062133A2/en
Publication of WO2008034075A2 publication Critical patent/WO2008034075A2/en
Publication of WO2008034075A3 publication Critical patent/WO2008034075A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/901—Indexing; Data structures therefor; Storage structures
    • G06F16/9027—Trees
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions

Abstract

A Q Framework, or QFX for short, is provided for performing efficient tree transformation in a generalized manner that achieves preservation of action semantics for FSTs that support action information in their representations across a diverse set of types of representations for FSTs. Among other features, the QFX also enables the preservation of ordered and unordered nest information while performing tree transformation, supports the transformation of non-deterministic data structures to a deterministic data structure and enables intersection operations on machines having action semantics.
PCT/US2007/078522 2006-09-15 2007-09-14 Transformation of modular finite state transducers WO2008034075A2 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2009528502A JP2010503932A (en) 2006-09-15 2007-09-14 Modular finite state transducer conversion
EP07842529A EP2062133A2 (en) 2006-09-15 2007-09-14 Transformation of modular finite state transducers

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US11/532,349 US7624075B2 (en) 2006-09-15 2006-09-15 Transformation of modular finite state transducers
US11/532,349 2006-09-15

Publications (2)

Publication Number Publication Date
WO2008034075A2 WO2008034075A2 (en) 2008-03-20
WO2008034075A3 true WO2008034075A3 (en) 2008-05-08

Family

ID=39184616

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2007/078522 WO2008034075A2 (en) 2006-09-15 2007-09-14 Transformation of modular finite state transducers

Country Status (6)

Country Link
US (1) US7624075B2 (en)
EP (1) EP2062133A2 (en)
JP (1) JP2010503932A (en)
KR (1) KR20090054442A (en)
CN (1) CN101517533A (en)
WO (1) WO2008034075A2 (en)

Families Citing this family (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7941417B2 (en) * 2008-01-09 2011-05-10 Cisco Technology, Inc. Processing structured electronic document streams using look-ahead automata
US8176085B2 (en) * 2008-09-30 2012-05-08 Microsoft Corporation Modular forest automata
US8983983B2 (en) 2010-02-04 2015-03-17 Network State, LLC State operating system
US8983995B2 (en) 2011-04-15 2015-03-17 Microsoft Corporation Interactive semantic query suggestion for content search
US8775393B2 (en) * 2011-10-03 2014-07-08 Polytechniq Institute of New York University Updating a perfect hash data structure, such as a multi-dimensional perfect hash data structure, used for high-speed string matching
US9424168B2 (en) * 2012-03-20 2016-08-23 Massively Parallel Technologies, Inc. System and method for automatic generation of software test
US8959494B2 (en) * 2012-03-20 2015-02-17 Massively Parallel Technologies Inc. Parallelism from functional decomposition
US9977655B2 (en) 2012-03-20 2018-05-22 Massively Parallel Technologies, Inc. System and method for automatic extraction of software design from requirements
US9324126B2 (en) 2012-03-20 2016-04-26 Massively Parallel Technologies, Inc. Automated latency management and cross-communication exchange conversion
US8893101B2 (en) * 2012-12-21 2014-11-18 International Business Machines Corporation Hybrid dependency analysis using dynamic and static analyses
US9229688B2 (en) 2013-03-14 2016-01-05 Massively Parallel Technologies, Inc. Automated latency management and cross-communication exchange conversion
US20150169543A1 (en) * 2013-12-12 2015-06-18 Brno University of Technology Method and an apparaus for instruction set translation using finite state automata
CN104536883B (en) * 2014-12-05 2017-06-16 北京邮电大学 A kind of static defect detection method and its system
CN104572028B (en) * 2014-12-26 2017-06-20 中国科学院自动化研究所 A kind of method and apparatus of state machine equivalence transformation
JP6991150B2 (en) 2016-08-22 2022-01-12 オラクル・インターナショナル・コーポレイション Systems and methods for dynamic incremental recommendations within real-time visual simulations
US11747793B2 (en) 2018-01-22 2023-09-05 Siemens Aktiengesellschaft Skill matching for control of an industrial production machine
CN108804536B (en) * 2018-05-04 2022-10-04 科沃斯商用机器人有限公司 Man-machine conversation and strategy generation method, equipment, system and storage medium

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6032111A (en) * 1997-06-23 2000-02-29 At&T Corp. Method and apparatus for compiling context-dependent rewrite rules and input strings
US6128606A (en) * 1997-03-11 2000-10-03 At&T Corporation Module for constructing trainable modular network in which each module inputs and outputs data structured as a graph
US20040176945A1 (en) * 2003-03-06 2004-09-09 Nagoya Industrial Science Research Institute Apparatus and method for generating finite state transducer for use in incremental parsing
US20050154979A1 (en) * 2004-01-14 2005-07-14 Xerox Corporation Systems and methods for converting legacy and proprietary documents into extended mark-up language format

Family Cites Families (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5806032A (en) * 1996-06-14 1998-09-08 Lucent Technologies Inc. Compilation of weighted finite-state transducers from decision trees
US6424983B1 (en) * 1998-05-26 2002-07-23 Global Information Research And Technologies, Llc Spelling and grammar checking system
US6308149B1 (en) * 1998-12-16 2001-10-23 Xerox Corporation Grouping words with equivalent substrings by automatic clustering based on suffix relationships
US7107205B2 (en) * 2000-04-03 2006-09-12 Xerox Corporation Method and apparatus for aligning ambiguity in finite state transducers
US6735592B1 (en) * 2000-11-16 2004-05-11 Discern Communications System, method, and computer program product for a network-based content exchange system
US7113903B1 (en) * 2001-01-30 2006-09-26 At&T Corp. Method and apparatus for providing stochastic finite-state machine translation
US6810146B2 (en) * 2001-06-01 2004-10-26 Eastman Kodak Company Method and system for segmenting and identifying events in images using spoken annotations
US6868383B1 (en) * 2001-07-12 2005-03-15 At&T Corp. Systems and methods for extracting meaning from multimodal inputs using finite-state devices
US7069215B1 (en) * 2001-07-12 2006-06-27 At&T Corp. Systems and methods for extracting meaning from multimodal inputs using finite-state devices
US7027988B1 (en) * 2001-07-20 2006-04-11 At&T Corp. System and method of ε removal of weighted automata and transducers
CA2397466A1 (en) * 2001-08-15 2003-02-15 At&T Corp. Systems and methods for aggregating related inputs using finite-state devices and extracting meaning from multimodal inputs using aggregation
US7181386B2 (en) * 2001-11-15 2007-02-20 At&T Corp. Systems and methods for generating weighted finite-state automata representing grammars
EP1331630A3 (en) * 2002-01-07 2006-12-20 AT&T Corp. Systems and methods for generating weighted finite-state automata representing grammars
GB0200352D0 (en) * 2002-01-09 2002-02-20 Ibm Finite state dictionary and method of production thereof
US7240004B1 (en) * 2002-03-04 2007-07-03 At&T Corp. Systems and methods for determining the determinizability of finite-state automata and transducers
AU2003267953A1 (en) * 2002-03-26 2003-12-22 University Of Southern California Statistical machine translation using a large monlingual corpus
US7197460B1 (en) * 2002-04-23 2007-03-27 At&T Corp. System for handling frequently asked questions in a natural language dialog service
US7225131B1 (en) * 2002-06-14 2007-05-29 At&T Corp. System and method for accessing and annotating electronic medical records using multi-modal interface
US7072880B2 (en) * 2002-08-13 2006-07-04 Xerox Corporation Information retrieval and encoding via substring-number mapping
US7542908B2 (en) * 2002-10-18 2009-06-02 Xerox Corporation System for learning a language
US7257575B1 (en) * 2002-10-24 2007-08-14 At&T Corp. Systems and methods for generating markup-language based expressions from multi-modal and unimodal inputs
US7299180B2 (en) * 2002-12-10 2007-11-20 International Business Machines Corporation Name entity extraction using language models
US7493251B2 (en) * 2003-05-30 2009-02-17 Microsoft Corporation Using source-channel models for word segmentation
US7003740B2 (en) * 2003-07-16 2006-02-21 Microsoft Corporation Method and apparatus for minimizing weighted networks with link and node labels
US20060085389A1 (en) * 2004-08-26 2006-04-20 Sensory Networks, Inc. Method for transformation of regular expressions
CA2525729A1 (en) * 2004-11-08 2006-05-08 At&T Corp. System and method for compiling rules created by machine learning program
US7536295B2 (en) * 2005-12-22 2009-05-19 Xerox Corporation Machine translation using non-contiguous fragments of text
US7542893B2 (en) * 2006-05-10 2009-06-02 Xerox Corporation Machine translation using elastic chunks

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6128606A (en) * 1997-03-11 2000-10-03 At&T Corporation Module for constructing trainable modular network in which each module inputs and outputs data structured as a graph
US6032111A (en) * 1997-06-23 2000-02-29 At&T Corp. Method and apparatus for compiling context-dependent rewrite rules and input strings
US20040176945A1 (en) * 2003-03-06 2004-09-09 Nagoya Industrial Science Research Institute Apparatus and method for generating finite state transducer for use in incremental parsing
US20050154979A1 (en) * 2004-01-14 2005-07-14 Xerox Corporation Systems and methods for converting legacy and proprietary documents into extended mark-up language format

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
GRAEHL ET AL.: "Training tree transducers", HUMAN LANGUAGE TECHNOLOGY CONFERENCE OF THE NORTH AMERICA CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (HLT-NAACL), BOSTON, May 2004 (2004-05-01), pages 105 - 112, XP008104969 *

Also Published As

Publication number Publication date
EP2062133A2 (en) 2009-05-27
KR20090054442A (en) 2009-05-29
JP2010503932A (en) 2010-02-04
WO2008034075A2 (en) 2008-03-20
US7624075B2 (en) 2009-11-24
US20080071801A1 (en) 2008-03-20
CN101517533A (en) 2009-08-26

Similar Documents

Publication Publication Date Title
WO2008034075A3 (en) Transformation of modular finite state transducers
WO2006130667A3 (en) Modeling of a multiprocessor system
WO2007110294A3 (en) System, method and computer program product for storing multiple types of information
TWI369079B (en) Convolution-encoded data storage on a redundant array of independent devices,storing method and computer program product thereof
WO2007134242A3 (en) Method for generating decision trees integrated with petro-technical workflows
ATE341022T1 (en) PRODUCT MONITORING PROCEDURES
WO2010048642A3 (en) Processing pre-recorded hogel data
EP1941436A4 (en) A system, method, and computer program product for reducing the burden on an inventory system by retrieving, translating, and displaying attributes information corresponding to travel itineraries listed in the inventory system
WO2005106701A3 (en) Maintaining data integrity in a distributed environment
WO2006086690A3 (en) Project work change in plan/scope administrative and business information synergy system and method
WO2005055014A3 (en) Configuration application for building automation
WO2006031551A3 (en) Selective replication of data structure
WO2006089265A3 (en) Method, system, and software for monitoring compliance
WO2006071808A3 (en) Systems and methods for managing the development and manufacturing of a drug
WO2006022739A3 (en) Method and system for processing grammar-based legality expressions
AU2003211000A1 (en) Ontology frame-based knowledge representation in the unified modeling language (uml)
SG100613A1 (en) Data processing method and system, program for realizing the method, and computer readable storage medium storing the program
WO2008054914A3 (en) A system and method for generating flyable paths in a flight plan for an aircraft
TW200614019A (en) System and method to build, retrieve and track information in a knowledge database for trouble shooting purposes
WO2007044479A3 (en) Modular web-based asp application for multiple products
WO2006130208A3 (en) Translation information retrieval
WO2008066713A3 (en) System and method for managing the development and manufacturing of a beverage
DE602005015550D1 (en) METHOD FOR INITIALIZING A PLC
WO2007038257A3 (en) A method and system for managing and organizing software package installations
WO2009047502A3 (en) Improved method of creating a computer model of the physical world

Legal Events

Date Code Title Description
WWE Wipo information: entry into national phase

Ref document number: 200780034213.4

Country of ref document: CN

WWE Wipo information: entry into national phase

Ref document number: 1020097005083

Country of ref document: KR

ENP Entry into the national phase

Ref document number: 2009528502

Country of ref document: JP

Kind code of ref document: A

NENP Non-entry into the national phase

Ref country code: DE

WWE Wipo information: entry into national phase

Ref document number: 2007842529

Country of ref document: EP

121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 07842529

Country of ref document: EP

Kind code of ref document: A2