DWSIM is an open source, CAPE-OPEN compliant chemical process simulator for Windows, Linux and macOS systems. Written in VB.NET and C#, DWSIM features a comprehensive set of unit operations, advanced thermodynamic models, support for reacting systems, petroleum characterization tools and a fully-featured graphical interface. A tool for simulating, visualizing and transforming finite state automata and Turing Machines. Creates, simulates and transforms DFA and NFA machines. Creates and simulates TM. Batch tests for TM: useful features to test a bunch of files quickly! Easy-to-use GUI interface (multi-documents) Smart links between objects.
![]()
This small application allows to create and simulate any Deterministic or Non-Deterministic Finite Automata (DFA or NFA) as well as Turing Machines (TM).
Features
ScreenshotsCredits
This was originally developed by Jean Bovet and was uploaded here with his authorization because if i have some spare time in the future I inted to continue the development.
VASim is a homogeneous non-deterministic finite automata simulator. Homogeneous automata do not contain epsilon transitions, and also have the property that all incoming transitions for a particular state have the same rule.
VASim can parse, transform, simulate, and profile homogeneous automata, and is meant to be an open tool for automata processing research. VASim can also be extended to support arbitrary automata processing elements other than traditional states.
Installation
VASim is designed to run on 64-bit machines GCC 4.9+. Users have successfully compiled on 32-bit platforms but these builds are not officially supported. Below are the commands used to install on all tested platforms.
Ubuntu Linux (14.04/16.04 with gcc 5.0+)MacOS (10.11+)![]() Windows 7 (Cygwin64)
Dependencies:
First you must install all required Cygwin64 software tools
Once Cygwin64 is configured, VASim should compile correctly in a Cygwin terminal.
Command Line Usage
VASim was developed to be used as a command line tool for automata simulation. VASim takes at least one input--an automata graph--and an optional input. If an input is provided, VASim will simulate the automata on the input.
Library Usage
VASim can also be used as a library to programmatically construct and simulate automata. An example program to make and simulate an automata with two states is shown below.
Issues
Please see https://www.github.com/jackwadden/VASim/issues for a list of known bugs or to create an issue ticket.
Citation
If you use VASim in a publication, please use the following citation:
Wadden, J., and Skadron, K. 'VASim: An Open Virtual Automata Simulator for Automata Processing Application and Architecture Research.' University of Virginia, Tech Report #CS2016-03, 2016.
Acknowledgements
This work was started at the University of Virginia and was supported by the following organizations at some point in time: The ARCS Foundation, the National Science Foundation (CCF-1116673, CCF-1629450, EF-1124931), Micron Technologies, and the Center for Future Architectures Research (C-FAR), one of the six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and Darpa.
![]() Comments are closed.
|
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
December 2022
Categories |