WO2010039348A3 - Modular forest automata - Google Patents

Modular forest automata Download PDF

Info

Publication number
WO2010039348A3
WO2010039348A3 PCT/US2009/054457 US2009054457W WO2010039348A3 WO 2010039348 A3 WO2010039348 A3 WO 2010039348A3 US 2009054457 W US2009054457 W US 2009054457W WO 2010039348 A3 WO2010039348 A3 WO 2010039348A3
Authority
WO
WIPO (PCT)
Prior art keywords
modular forest
modular
automata
mfas
patterns
Prior art date
Application number
PCT/US2009/054457
Other languages
French (fr)
Other versions
WO2010039348A2 (en
Inventor
Giovanni M. Della-Libera
Steven E . Lucco
Original Assignee
Microsoft Corporation
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 Corporation filed Critical Microsoft Corporation
Priority to JP2011530081A priority Critical patent/JP5530449B2/en
Priority to CN200980139411.6A priority patent/CN102165434B/en
Priority to EP09818172A priority patent/EP2332068A4/en
Publication of WO2010039348A2 publication Critical patent/WO2010039348A2/en
Publication of WO2010039348A3 publication Critical patent/WO2010039348A3/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
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines

Abstract

Modular forest automata (MFA) provide a unified description of partially-ordered regular tree patterns. MFAs provide simple methods for determinization, sub-typing, intersection, and complementation of these patterns. MFAs support high-performance pattern analysis and matching. Modular forest transducers, in conjunction with modular forest automata, enable compilers to place semantic actions on any state transition while supporting efficient transformation of labeled, directed graphs.
PCT/US2009/054457 2008-09-30 2009-08-20 Modular forest automata WO2010039348A2 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP2011530081A JP5530449B2 (en) 2008-09-30 2009-08-20 Modular forest automaton
CN200980139411.6A CN102165434B (en) 2008-09-30 2009-08-20 Modular forest automata
EP09818172A EP2332068A4 (en) 2008-09-30 2009-08-20 Modular forest automata

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US12/242,322 US8176085B2 (en) 2008-09-30 2008-09-30 Modular forest automata
US12/242,322 2008-09-30

Publications (2)

Publication Number Publication Date
WO2010039348A2 WO2010039348A2 (en) 2010-04-08
WO2010039348A3 true WO2010039348A3 (en) 2010-06-03

Family

ID=42074085

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2009/054457 WO2010039348A2 (en) 2008-09-30 2009-08-20 Modular forest automata

Country Status (5)

Country Link
US (1) US8176085B2 (en)
EP (1) EP2332068A4 (en)
JP (1) JP5530449B2 (en)
CN (2) CN102165434B (en)
WO (1) WO2010039348A2 (en)

Families Citing this family (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080271000A1 (en) * 2007-04-25 2008-10-30 Microsoft Corporation Predicting Conflicts in a Pervasive System
JP5224953B2 (en) * 2008-07-17 2013-07-03 インターナショナル・ビジネス・マシーンズ・コーポレーション Information processing apparatus, information processing method, and program
DE112010005968T5 (en) * 2010-11-02 2013-08-14 Empire Technology Development Llc Scalable reasoning using a polarity-based module
US8856764B2 (en) * 2011-01-25 2014-10-07 International Business Machines Corporation Distributed static analysis of computer software applications
US8990259B2 (en) * 2011-06-24 2015-03-24 Cavium, Inc. Anchored patterns
US9858051B2 (en) * 2011-06-24 2018-01-02 Cavium, Inc. Regex compiler
JP5657840B2 (en) 2011-08-02 2015-01-21 カビウム・インコーポレーテッド Lookup front-end packet output processor
WO2014062252A1 (en) 2012-10-19 2014-04-24 Mcafee, Inc. Secure disk access control
US9544402B2 (en) 2013-12-31 2017-01-10 Cavium, Inc. Multi-rule approach to encoding a group of rules
US9275336B2 (en) 2013-12-31 2016-03-01 Cavium, Inc. Method and system for skipping over group(s) of rules based on skip group rule
US9667446B2 (en) 2014-01-08 2017-05-30 Cavium, Inc. Condition code approach for comparing rule and packet data that are provided in portions
US10481881B2 (en) * 2017-06-22 2019-11-19 Archeo Futurus, Inc. Mapping a computer code to wires and gates
US9996328B1 (en) * 2017-06-22 2018-06-12 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
CN111026377B (en) * 2019-11-21 2023-03-14 中国航空工业集团公司西安航空计算技术研究所 Calling display list pre-decoding method based on finite-state machine
CN113254755B (en) * 2021-07-19 2021-10-08 南京烽火星空通信发展有限公司 Public opinion parallel association mining method based on distributed framework

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050097453A1 (en) * 2003-11-03 2005-05-05 Charles Simonyi Method and system for reversible design tree transformations
US20060242197A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of transforming application layer structure as objects
US20060282422A1 (en) * 2005-06-10 2006-12-14 Al-Omari Awny K Use of connectivity analysis to assist rule-based optimizers
US20070006071A1 (en) * 2005-07-01 2007-01-04 Bilgehan Erman Method for transforming a tree structure into a more human-comprehensible document
US20080071802A1 (en) * 2006-09-15 2008-03-20 Microsoft Corporation Tranformation of modular finite state transducers

Family Cites Families (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5317509A (en) 1992-01-21 1994-05-31 Hewlett-Packard Company Regular expression factoring for scanning multibyte character sets with a single byte automata machine
US5915259A (en) 1996-03-20 1999-06-22 Xerox Corporation Document schema transformation by patterns and contextual conditions
US5946490A (en) 1996-03-22 1999-08-31 Northeastern University Automata-theoretic approach compiler for adaptive software
JP2003084987A (en) 2001-09-11 2003-03-20 Internatl Business Mach Corp <Ibm> Generation method for automaton for verifying validity of xml document, validity verifying method for xml document, generation system for automaton for verifying validity of xml document, and system and program for verifying validity of xml document
US6785643B2 (en) 2001-10-15 2004-08-31 Motorola, Inc. Chart parsing using compacted grammar representations
US6826568B2 (en) * 2001-12-20 2004-11-30 Microsoft Corporation Methods and system for model matching
US7058937B2 (en) 2002-04-12 2006-06-06 Intel Corporation Methods and systems for integrated scheduling and resource management for a compiler
US7240048B2 (en) 2002-08-05 2007-07-03 Ben Pontius System and method of parallel pattern matching
JP2004318809A (en) * 2003-02-24 2004-11-11 Fuji Xerox Co Ltd Information extraction rule generating apparatus and method
US7093231B2 (en) 2003-05-06 2006-08-15 David H. Alderson Grammer for regular expressions
US20040260683A1 (en) * 2003-06-20 2004-12-23 Chee-Yong Chan Techniques for information dissemination using tree pattern subscriptions and aggregation thereof
US7685637B2 (en) * 2004-06-14 2010-03-23 Lionic Corporation System security approaches using sub-expression automata
GB2422450A (en) 2005-01-21 2006-07-26 3Com Corp Pattern-matching using a deterministic finite state machine
US8762949B2 (en) 2005-05-31 2014-06-24 Alcatel Lucent Method and apparatus for incremental analysis of one or more properties of a program
US7624075B2 (en) * 2006-09-15 2009-11-24 Microsoft Corporation Transformation of modular finite state transducers

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050097453A1 (en) * 2003-11-03 2005-05-05 Charles Simonyi Method and system for reversible design tree transformations
US20060242197A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of transforming application layer structure as objects
US20060282422A1 (en) * 2005-06-10 2006-12-14 Al-Omari Awny K Use of connectivity analysis to assist rule-based optimizers
US20070006071A1 (en) * 2005-07-01 2007-01-04 Bilgehan Erman Method for transforming a tree structure into a more human-comprehensible document
US20080071802A1 (en) * 2006-09-15 2008-03-20 Microsoft Corporation Tranformation of modular finite state transducers

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
See also references of EP2332068A4 *

Also Published As

Publication number Publication date
CN103345464A (en) 2013-10-09
CN103345464B (en) 2016-10-05
JP2012513046A (en) 2012-06-07
EP2332068A4 (en) 2013-03-06
CN102165434A (en) 2011-08-24
WO2010039348A2 (en) 2010-04-08
EP2332068A2 (en) 2011-06-15
US8176085B2 (en) 2012-05-08
US20100094906A1 (en) 2010-04-15
JP5530449B2 (en) 2014-06-25
CN102165434B (en) 2014-12-17

Similar Documents

Publication Publication Date Title
WO2010039348A3 (en) Modular forest automata
USD745168S1 (en) Reticle
USD690899S1 (en) Undergament gusset
MY188206A (en) Adaptive processing with multiple media processing nodes
WO2009151931A3 (en) Processing seismic data using combined regularization and 4d binning
CA130091S (en) Post base with domes
CA127711S (en) Gear shifter
CA132774S (en) Solid state spot light
WO2007134242A3 (en) Method for generating decision trees integrated with petro-technical workflows
WO2006128061A3 (en) Electromagnetic energy emitting device with increased spot size
CA127794S (en) Mount for packaging of battery
USD596747S1 (en) Bottle holder
Aye Bazaar Malay: History, grammar and contact
USD639333S1 (en) Guitar
USD666545S1 (en) Bicycle wheel hub
WO2009141612A3 (en) Improvements relating to data processing architecture
USD625718S1 (en) Computer case
CA131102S (en) Solid state lighting spot
USD620432S1 (en) Photoelectric energy transducing apparatus
BRPI0913562A2 (en) Fruit biosynthesis modification, increasing plant biomass and enhancing the productivity of biochemical pathways in a plant.
CA138216S (en) Label support sheet
WO2007015743A3 (en) Monitoring system for a residence
USD645986S1 (en) Lighting fixture
CA139012S (en) Faucet hub
CN202352032U (en) Sounding key chain

Legal Events

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

Ref document number: 200980139411.6

Country of ref document: CN

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

Ref document number: 09818172

Country of ref document: EP

Kind code of ref document: A2

WWE Wipo information: entry into national phase

Ref document number: 2009818172

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: DE

WWE Wipo information: entry into national phase

Ref document number: 2011530081

Country of ref document: JP