Finite State Machine Verilog

iGREAT is an open-source, statistical machine translation software toolkit based on finite-state models. Platforms: Mac, Linux

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation. Platforms: Windows, Mac, Linux

jStates is a java library for easy state machine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies Platforms: Windows, Mac, Linux

State Diagram Editor is a compact, flexible tool for the design of Finite State Machines - Intuitive User Interface using Drag&Drop - Simple Testing supported by visualized Execution - Support for the Design of complex Models using FSMs in a Responder Chain - Integrated Target Code Generation -... Platforms: Mac

QSMM is a recursive acronym for "QSMM State Machine Model". The program tries to interact optimally with external event source represented by deterministic finite automaton. A prototype for request/response interaction mode is also implemented. Platforms: *nix

Langtons Ant project is an example of a finite-state cellular automata. The ant (or ants) start out on a grid. Each cell is either black or white. If the ant is on a black square, it turns right 90° and moves forward one unit. If the ant is on a white square, it turns left 90° and moves... Platforms: *nix

Algorithm::AhoCorasick provides efficient search for multiple strings. Aho-Corasick is a classic (1975) algorithm for locating elements of a finite set of strings within an input text. It constructs a finite state machine from a list of keywords, then uses the machine to locate all occurrences... Platforms: *nix

Aqueduct is a simple state machine library written in Java. Some programs can be described naturally as a state machine or a flowchart; this library is intended to simplify the development of such programs. Platforms: Windows, Mac, Linux

A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java. Platforms: Windows, Mac, Linux

MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ... Platforms: Windows, Mac, Linux

This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics. Platforms: Windows, Mac, Linux

Parsing module is a pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers. From an algorithmic perspective, this is one of the most advanced parser generators in existence, for the following reasons: - The Parsing module uses a scalable algorithm... Platforms: *nix

Provides a portable C++ API and implementation of WS-Reliability. Provides C++ message element classes and implements SOAP messaging using EasySoap. Uses Boost, expat, and optionally gSoap.Soon: Finite state machine protocol implementation. Platforms: Windows, Mac, Linux

This demo helps you apply the key features of Simulink that are discussed in the "Introduction to Simulink" webinar:http://www.mathworks.com/company/events/we.../wbnr37271.htmlThe demo was specifically built using the features and concepts that are shown in the webinar; modeling a simple... Platforms: Matlab

YABT is a context sensitive string manipulation tool written in pure python. The project has the following goals: * Provide implementations of string manipulation for specific tasks to be used inside applications. The current implementation is a context matching rule system combined with a... Platforms: *nix

State Threads project is a small library for designing scalable Internet applications. The State Threads is a small application library which provides a foundation for writing fast and highly scalable Internet applications (such as Web servers, proxy servers, mail transfer agents, etc.) on... Platforms: *nix

PV Logger was specially designed as a simple and easy-to-use utility for archiving and retrieving machine state history. PV Logger was created using the Java programming language and can be run from all the major operating systems available. Platforms: Windows

GNU ccScript is a C class framework for creating a virtual machine execution system for use with and as a scripting/assembler language for state-transition driven realtime systems. GNU ccScript uses a class hierarchy and one extends the ScriptInterp base class to create a new dialect localized... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

FSA::Rules is a Perl module to build simple rules-based state machines in Perl. Synopsis my $fsa = FSA::Rules->new( ping => { do => sub { print "ping!n"; my $state = shift; $state->result(pong); $state->machine->{count}++; }, rules => [ game_over => sub { shift->machine->{count} >=... Platforms: *nix

GNU ccScript is a C++ class framework for creating a virtual machine execution system for use with and as a scripting/assembler language for state-transition driven realtime systems. The most common example of this is as the core of the scripting engine found in GNU Bayonne. GNU ccScript uses a... Platforms: *nix