CN101517533A - 模块化有限状态变换机的变换 - Google Patents

模块化有限状态变换机的变换 Download PDF

Info

Publication number
CN101517533A
CN101517533A CNA2007800342134A CN200780034213A CN101517533A CN 101517533 A CN101517533 A CN 101517533A CN A2007800342134 A CNA2007800342134 A CN A2007800342134A CN 200780034213 A CN200780034213 A CN 200780034213A CN 101517533 A CN101517533 A CN 101517533A
Authority
CN
China
Prior art keywords
action
data
digraph
conversion
mfst
Prior art date
Legal status (The legal status 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 status listed.)
Pending
Application number
CNA2007800342134A
Other languages
English (en)
Chinese (zh)
Inventor
S·E·卢科
D·E·兰沃西
G·M·德拉-利贝拉
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Corp
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
Publication of CN101517533A publication Critical patent/CN101517533A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Physics (AREA)
  • Computer Hardware Design (AREA)
  • Devices For Executing Special Programs (AREA)
  • Machine Translation (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Document Processing Apparatus (AREA)
CNA2007800342134A 2006-09-15 2007-09-14 模块化有限状态变换机的变换 Pending CN101517533A (zh)

Applications Claiming Priority (2)

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

Publications (1)

Publication Number Publication Date
CN101517533A true CN101517533A (zh) 2009-08-26

Family

ID=39184616

Family Applications (1)

Application Number Title Priority Date Filing Date
CNA2007800342134A Pending CN101517533A (zh) 2006-09-15 2007-09-14 模块化有限状态变换机的变换

Country Status (6)

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

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2016101726A1 (zh) * 2014-12-26 2016-06-30 中国科学院自动化研究所 一种状态机等价变换的方法和装置
CN108701258A (zh) * 2016-08-22 2018-10-23 甲骨文国际公司 用于通过统计剖析和参考模式匹配进行本体归纳的系统和方法
CN108804536A (zh) * 2018-05-04 2018-11-13 科沃斯商用机器人有限公司 人机对话与策略生成方法、设备、系统及存储介质
CN111615673A (zh) * 2018-01-22 2020-09-01 西门子股份公司 用于工业生产机器控制的技能匹配
CN119830959A (zh) * 2025-03-14 2025-04-15 浪潮通用软件有限公司 大模型解码约束方法、设备及介质

Families Citing this family (16)

* 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
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
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
US8893101B2 (en) * 2012-12-21 2014-11-18 International Business Machines Corporation Hybrid dependency analysis using dynamic and static analyses
WO2014152800A1 (en) 2013-03-14 2014-09-25 Massively Parallel Technologies, Inc. Project planning and debugging from functional decomposition
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 (zh) * 2014-12-05 2017-06-16 北京邮电大学 一种静态缺陷检测方法及其系统
US12099635B1 (en) * 2021-12-21 2024-09-24 Meta Platforms Technologies, Llc Opaque bound variables
US12217002B2 (en) * 2022-05-11 2025-02-04 Nvidia Corporation Parallel processing of hierarchical text
US20250371098A1 (en) * 2024-05-30 2025-12-04 IP Holdings 2017 LLC Graph-based state management in client-side web applications

Family Cites Families (32)

* 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
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
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
US20030065505A1 (en) * 2001-08-17 2003-04-03 At&T Corp. Systems and methods for abstracting portions of information that is represented with finite-state devices
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
WO2003105023A2 (en) * 2002-03-26 2003-12-18 University Of Southern California Statistical translation using a large monolingual 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
JP2004271764A (ja) 2003-03-06 2004-09-30 Nagoya Industrial Science Research Inst 有限状態変換器作成装置、プログラム、記録媒体、作成方法、及び漸進的構文解析装置
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
US7165216B2 (en) 2004-01-14 2007-01-16 Xerox Corporation Systems and methods for converting legacy and proprietary documents into extended mark-up language format
US20060085389A1 (en) 2004-08-26 2006-04-20 Sensory Networks, Inc. Method for transformation of regular expressions
US7451125B2 (en) * 2004-11-08 2008-11-11 At&T Intellectual Property Ii, L.P. 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

Cited By (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2016101726A1 (zh) * 2014-12-26 2016-06-30 中国科学院自动化研究所 一种状态机等价变换的方法和装置
US11537369B2 (en) 2016-08-22 2022-12-27 Oracle International Corporation System and method for dynamic, incremental recommendations within real-time visual simulation
CN108701258A (zh) * 2016-08-22 2018-10-23 甲骨文国际公司 用于通过统计剖析和参考模式匹配进行本体归纳的系统和方法
US12282757B2 (en) 2016-08-22 2025-04-22 Oracle International Corporation System and method for automated mapping of data types for use with dataflow environments
US11137987B2 (en) 2016-08-22 2021-10-05 Oracle International Corporation System and method for automated mapping of data types for use with dataflow environments
US11347482B2 (en) 2016-08-22 2022-05-31 Oracle International Corporation System and method for dynamic lineage tracking, reconstruction, and lifecycle management
US11526338B2 (en) 2016-08-22 2022-12-13 Oracle International Corporation System and method for inferencing of data transformations through pattern decomposition
US12248768B2 (en) 2016-08-22 2025-03-11 Oracle International Corporation System and method for dynamic lineage tracking, reconstruction, and lifecycle management
US11537371B2 (en) 2016-08-22 2022-12-27 Oracle International Corporation System and method for metadata-driven external interface generation of application programming interfaces
US11537370B2 (en) 2016-08-22 2022-12-27 Oracle International Corporation System and method for ontology induction through statistical profiling and reference schema matching
US11747793B2 (en) 2018-01-22 2023-09-05 Siemens Aktiengesellschaft Skill matching for control of an industrial production machine
CN111615673B (zh) * 2018-01-22 2023-09-29 西门子股份公司 一种用于工业控制中的技能匹配的系统
CN111615673A (zh) * 2018-01-22 2020-09-01 西门子股份公司 用于工业生产机器控制的技能匹配
CN108804536A (zh) * 2018-05-04 2018-11-13 科沃斯商用机器人有限公司 人机对话与策略生成方法、设备、系统及存储介质
CN119830959A (zh) * 2025-03-14 2025-04-15 浪潮通用软件有限公司 大模型解码约束方法、设备及介质
CN119830959B (zh) * 2025-03-14 2025-05-13 浪潮通用软件有限公司 大模型解码约束方法、设备及介质

Also Published As

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

Similar Documents

Publication Publication Date Title
CN101517533A (zh) 模块化有限状态变换机的变换
Zupan et al. Secure smart contract generation based on petri nets
CN101517531B (zh) 模块化有限状态变换机的变换
Moser et al. Semantic integration of software and systems engineering environments
Bagheri et al. Formalizing interactive staged feature model configuration
Berardinelli et al. Model-driven systems engineering: Principles and application in the CPPS domain
De Nicola et al. Towards a method for business process and informal business rules compliance
Safdar et al. A framework for automated multi-stage and multi-step product configuration of cyber-physical systems
Liu et al. Modeling and validating temporal rules with semantic Petri net for digital twins
Zadeh et al. Service oriented integration of distributed heterogeneous IT systems in production engineering using information standards and linked data
Jézéquel Model‐Driven Engineering for Software Product Lines
Steffen et al. Automatic synthesis of linear process models from temporal constraints: An incremental approach
Hubaux Feature-based Configuration: Collaborative, Dependable, and Controlled.
Alam et al. Modelling a family of systems for crisis management with concern‐oriented reuse
Bragança Methodological approaches and techniques for model driven development of software product lines
Quinton Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach
Lin et al. Enhancing the Accessibility of Text Data in Decision Making for Capability-based Planning Using Ontology: A Perspective of Semantic Compliance.
Giese et al. Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports
Yurish Advances in Computers and Software Engineering: Reviews, Vol. 2
Hess Evaluating Domain-Driven Design for Refactoring Existing Information Systems
de Filho et al. Runtime Services and Tooling for Reconfiguration
Adamou et al. The NeOn ontology models
Daga Knowledge Components and Methods for Policy Propagation in Data Flows
Zhao Model-driven integration of software and service components
Valen-Sendstad Enabling an automated monitor layer for RDF using integrity constraints

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C12 Rejection of a patent application after its publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20090826