Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,741,121,424 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

finite state machine

   Also found in: Acronyms, Encyclopedia, Wikipedia 0.01 sec.
finite state machine
A model of a computational system, consisting of a set of states (including a start state), an alphabet of symbols that serves as a set of possible inputs to the machine, and a transition function that maps each state to another state (or to itself) for any given input symbol. The machine operates by being fed a string of symbols, and moves through a series of states. The study of the computational power of finite state machines and other related machines is important in computer science and linguistics. The computational core of a Turing machine is a finite state machine. Also called finite state automaton.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
Add definition
? Mentioned in ? References in periodicals archive
 
SDL uses a finite state machine and describes the behavior in the form similar to a flow chart.
NIST helps develop first IEEE wireless personal area network ... by Journal of Research of the National Institute of Standards and Technology
Verifier automatically extracts properties from Verilog RTL designs to uncover such problems as multiple clock domain synchronization errors, Finite State Machine (FSM) deadlock, and Code Reachability errors.
HDL ENHANCES FUNCTIONAL VERIFICATION SOFTWARE TO IMPROVE SOC DESIGN ... by EDP Weekly's IT Monitor
Both Saphirus and CMR Design Automation will sell the complete Solidify line, which includes the Solidify property checking engine, SolidAC[TM] for automated checking of common design issues such as clock domain crossing, dead code, finite state machine (FSM) deadlock and livelock, case statement pragmas, reset propagation, bus contention, X assignment propagation, and array out-of-bounds, and SolidPC[TM] for AMBA protocol verification.
Averant Announces Sales Channel Expansion by Business Wire
More results
 
Dictionary/thesaurus browser? ? Full browser
 
 
Dictionary, Thesaurus, and Translations
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.